Home
last modified time | relevance | path

Searched refs:shifted_out_to (Results 1 – 22 of 22) sorted by relevance

/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/fold/
H A Dshift.rs23 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 Dshift.rs23 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 Dshift.rs23 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 Dvisit.rs242 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 Dfold.rs373 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 Dlib.rs841 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 Dvisit.rs255 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 Dfold.rs378 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 Dlib.rs841 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 Dvisit.rs298 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 Dfold.rs378 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 Dlib.rs912 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 Dutils.rs93 .shifted_out_to(Interner, DebruijnIndex::ONE) in direct_super_trait_refs()
H A Dlib.rs202 .shifted_out_to(Interner, DebruijnIndex::ONE) in from_fn_ptr()
H A Dlower.rs976 .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 Dutils.rs91 .shifted_out_to(&Interner, DebruijnIndex::ONE) in direct_super_trait_refs()
H A Dlib.rs197 .shifted_out_to(&Interner, DebruijnIndex::ONE) in from_fn_ptr()
H A Dlower.rs977 .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 Dresolvent.rs326 .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 Dwf.rs104 .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 Dwf.rs104 .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 Dwf.rs103 .push(ty.clone().shifted_out_to(interner, outer_binder).unwrap()) in visit_ty()