/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/infer/ |
H A D | closure.rs | 3 use chalk_ir::{cast::Cast, AliasEq, AliasTy, FnSubst, WhereClause}; 74 substitution: FnSubst(Substitution::from_iter(Interner, sig_tys)), in deduce_sig_from_dyn_ty()
|
H A D | expr.rs | 34 AdtId, Binders, CallableDefId, FnPointer, FnSig, FnSubst, InEnvironment, Interner, 283 substitution: FnSubst( in infer_expr_inner()
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/infer/ |
H A D | closure.rs | 3 use chalk_ir::{cast::Cast, AliasEq, AliasTy, FnSubst, WhereClause}; 74 substitution: FnSubst(Substitution::from_iter(&Interner, sig_tys)), in deduce_sig_from_dyn_ty()
|
H A D | expr.rs | 34 AdtId, Binders, CallableDefId, FnPointer, FnSig, FnSubst, InEnvironment, Interner, 283 substitution: FnSubst( in infer_expr_inner()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
H A D | walk.rs | 7 AliasEq, AliasTy, Binders, CallableSig, FnSubst, GenericArg, GenericArgData, Interner, 143 impl TypeWalk for FnSubst<Interner> { implementation
|
H A D | lib.rs | 90 pub use chalk_ir::FnSubst; 222 substitution: FnSubst(Substitution::from_iter( in to_fn_ptr()
|
H A D | lower.rs | 43 FnSubst, ImplTraitId, Interner, PolyFnSig, ProjectionTy, QuantifiedWhereClause, 209 substitution: FnSubst(substs), in lower_ty_ext()
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
H A D | walk.rs | 7 AliasEq, AliasTy, Binders, CallableSig, FnSubst, GenericArg, GenericArgData, Interner, 143 impl TypeWalk for FnSubst<Interner> { implementation
|
H A D | lib.rs | 90 pub use chalk_ir::FnSubst; 212 substitution: FnSubst(Substitution::from_iter( in to_fn_ptr()
|
H A D | lower.rs | 43 FnSubst, ImplTraitId, Interner, PolyFnSig, ProjectionTy, QuantifiedWhereClause, 209 substitution: FnSubst(substs), in lower_ty_ext()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/ |
H A D | lib.rs | 1094 pub struct FnSubst<I: Interner>(pub Substitution<I>); struct 1096 impl<I: Interner> Copy for FnSubst<I> where I::InternedSubstitution: Copy {} implementation 1105 pub substitution: FnSubst<I>, 1112 pub fn into_binders(self, interner: I) -> Binders<FnSubst<I>> { in into_binders() 1123 pub fn as_binders(&self, interner: I) -> Binders<&FnSubst<I>> { in as_binders()
|
H A D | zip.rs | 519 impl<I: Interner> Zip<I> for FnSubst<I> { implementation
|
H A D | debug.rs | 260 impl<I: Interner> Debug for FnSubst<I> { implementation
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir-0.55.0/src/ |
H A D | lib.rs | 1165 pub struct FnSubst<I: Interner>(pub Substitution<I>); struct 1167 impl<I: Interner> Copy for FnSubst<I> where I::InternedSubstitution: Copy {} implementation 1176 pub substitution: FnSubst<I>, 1183 pub fn into_binders(self, interner: &I) -> Binders<FnSubst<I>> { in into_binders() 1194 pub fn as_binders(&self, interner: &I) -> Binders<&FnSubst<I>> { in as_binders()
|
H A D | zip.rs | 599 impl<I: Interner> Zip<I> for FnSubst<I> { implementation
|
H A D | debug.rs | 260 impl<I: Interner> Debug for FnSubst<I> { implementation
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir/src/ |
H A D | lib.rs | 1094 pub struct FnSubst<I: Interner>(pub Substitution<I>); struct 1096 impl<I: Interner> Copy for FnSubst<I> where I::InternedSubstitution: Copy {} implementation 1105 pub substitution: FnSubst<I>, 1112 pub fn into_binders(self, interner: &I) -> Binders<FnSubst<I>> { in into_binders() 1123 pub fn as_binders(&self, interner: &I) -> Binders<&FnSubst<I>> { in as_binders()
|
H A D | zip.rs | 599 impl<I: Interner> Zip<I> for FnSubst<I> { implementation
|
H A D | debug.rs | 260 impl<I: Interner> Debug for FnSubst<I> { implementation
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/infer/ |
H A D | unify.rs | 720 let substitution = FnSubst(Substitution::from_iter(interner, vars)); in generalize_ty()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/infer/ |
H A D | unify.rs | 720 let substitution = FnSubst(Substitution::from_iter(interner, vars)); in generalize_ty()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/infer/ |
H A D | unify.rs | 720 let substitution = FnSubst(Substitution::from_iter(interner, vars)); in generalize_ty()
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_traits/src/chalk/ |
H A D | lowering.rs | 292 substitution: chalk_ir::FnSubst(chalk_ir::Substitution::from_iter( in lower_into()
|