Searched refs:self_ty_shifted_in (Results 1 – 2 of 2) sorted by relevance
732 let self_ty_shifted_in = self_ty.clone().shifted_in_from(Interner, DebruijnIndex::ONE); in generic_predicate_to_inline_bound() localVariable736 if trait_ref.self_type_parameter(Interner) != self_ty_shifted_in { in generic_predicate_to_inline_bound()749 if projection_ty.self_type_parameter(Interner) != self_ty_shifted_in { in generic_predicate_to_inline_bound()
731 let self_ty_shifted_in = self_ty.clone().shifted_in_from(&Interner, DebruijnIndex::ONE); in generic_predicate_to_inline_bound() localVariable735 if trait_ref.self_type_parameter(&Interner) != self_ty_shifted_in { in generic_predicate_to_inline_bound()748 if projection_ty.self_type_parameter(&Interner) != self_ty_shifted_in { in generic_predicate_to_inline_bound()