/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/fold/ |
H A D | shift.rs | 23 fn shifted_out_to(self, interner: I, target_binder: DebruijnIndex) -> Fallible<Self::Result>; in shifted_out_to() method 42 fn shifted_out_to(self, interner: I, target_binder: DebruijnIndex) -> Fallible<T::Result> { in shifted_out_to() method 53 self.shifted_out_to(interner, DebruijnIndex::ONE) in shifted_out() 137 match bound_var.shifted_out_to(self.target_binder) { in adjust()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir/src/fold/ |
H A D | shift.rs | 23 fn shifted_out_to(self, interner: &I, target_binder: DebruijnIndex) -> Fallible<Self::Result>; in shifted_out_to() method 42 fn shifted_out_to(self, interner: &I, target_binder: DebruijnIndex) -> Fallible<T::Result> { in shifted_out_to() method 53 self.shifted_out_to(interner, DebruijnIndex::ONE) in shifted_out() 135 match bound_var.shifted_out_to(self.target_binder) { in adjust()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir-0.55.0/src/fold/ |
H A D | shift.rs | 23 fn shifted_out_to(self, interner: &I, target_binder: DebruijnIndex) -> Fallible<Self::Result>; in shifted_out_to() method 42 fn shifted_out_to(self, interner: &I, target_binder: DebruijnIndex) -> Fallible<T::Result> { in shifted_out_to() method 53 self.shifted_out_to(interner, DebruijnIndex::ONE) in shifted_out() 135 match bound_var.shifted_out_to(self.target_binder) { in adjust()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/ |
H A D | visit.rs | 242 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with() 323 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with() 360 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with()
|
H A D | fold.rs | 373 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with() 496 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with() 550 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with()
|
H A D | lib.rs | 841 pub fn shifted_out_to(self, outer_binder: DebruijnIndex) -> Option<Self> { in shifted_out_to() method 843 .shifted_out_to(outer_binder) in shifted_out_to() 964 self.shifted_out_to(DebruijnIndex::ONE) in shifted_out() 998 pub fn shifted_out_to(self, outer_binder: DebruijnIndex) -> Option<DebruijnIndex> { in shifted_out_to() method
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir/src/ |
H A D | visit.rs | 255 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with() 342 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with() 385 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with()
|
H A D | fold.rs | 378 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with() 507 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with() 567 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with()
|
H A D | lib.rs | 841 pub fn shifted_out_to(self, outer_binder: DebruijnIndex) -> Option<Self> { in shifted_out_to() method 843 .shifted_out_to(outer_binder) in shifted_out_to() 964 self.shifted_out_to(DebruijnIndex::ONE) in shifted_out() 998 pub fn shifted_out_to(self, outer_binder: DebruijnIndex) -> Option<DebruijnIndex> { in shifted_out_to() method
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir-0.55.0/src/ |
H A D | visit.rs | 298 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with() 385 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with() 428 if let Some(_) = bound_var.shifted_out_to(outer_binder) { in super_visit_with()
|
H A D | fold.rs | 378 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with() 507 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with() 567 if let Some(bound_var1) = bound_var.shifted_out_to(outer_binder) { in super_fold_with()
|
H A D | lib.rs | 912 pub fn shifted_out_to(self, outer_binder: DebruijnIndex) -> Option<Self> { in shifted_out_to() method 914 .shifted_out_to(outer_binder) in shifted_out_to() 1035 self.shifted_out_to(DebruijnIndex::ONE) in shifted_out() 1069 pub fn shifted_out_to(self, outer_binder: DebruijnIndex) -> Option<DebruijnIndex> { in shifted_out_to() method
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
H A D | utils.rs | 93 .shifted_out_to(Interner, DebruijnIndex::ONE) in direct_super_trait_refs()
|
H A D | lib.rs | 202 .shifted_out_to(Interner, DebruijnIndex::ONE) in from_fn_ptr()
|
H A D | lower.rs | 976 .shifted_out_to(Interner, DebruijnIndex::ONE) in named_associated_type_shorthand_candidates()
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
H A D | utils.rs | 91 .shifted_out_to(&Interner, DebruijnIndex::ONE) in direct_super_trait_refs()
|
H A D | lib.rs | 197 .shifted_out_to(&Interner, DebruijnIndex::ONE) in from_fn_ptr()
|
H A D | lower.rs | 977 .shifted_out_to(&Interner, DebruijnIndex::ONE) in named_associated_type_shorthand_candidates()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-engine/src/slg/ |
H A D | resolvent.rs | 326 .shifted_out_to(interner, self.outer_binder) in unify_free_answer_var()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
H A D | wf.rs | 104 .push(ty.clone().shifted_out_to(interner, outer_binder).unwrap()) in visit_ty()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
H A D | wf.rs | 104 .push(ty.clone().shifted_out_to(interner, outer_binder).unwrap()) in visit_ty()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
H A D | wf.rs | 103 .push(ty.clone().shifted_out_to(interner, outer_binder).unwrap()) in visit_ty()
|