Searched refs:proj_ty (Results 1 – 6 of 6) sorted by relevance
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/ |
| H A D | error.rs | 518 (ty::Projection(proj_ty), _) => { in note_and_explain_type_err()
521 proj_ty, in note_and_explain_type_err()
527 (_, ty::Projection(proj_ty)) => { in note_and_explain_type_err()
535 proj_ty, in note_and_explain_type_err()
541 proj_ty, in note_and_explain_type_err()
592 proj_ty: &ty::ProjectionTy<'tcx>, in suggest_constraint()
595 let assoc = self.associated_item(proj_ty.item_def_id); in suggest_constraint()
677 proj_ty: &ty::ProjectionTy<'tcx>, in expected_projection()
704 let assoc = self.associated_item(proj_ty.item_def_id); in expected_projection()
717 proj_ty.item_def_id, in expected_projection()
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/outlives/ |
| H A D | utils.rs | 83 Component::Projection(proj_ty) => { in insert_outlives_predicate()
93 let ty: Ty<'tcx> = tcx.mk_projection(proj_ty.item_def_id, proj_ty.substs); in insert_outlives_predicate()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/infer/ |
| H A D | unify.rs | 232 TyKind::Alias(AliasTy::Projection(proj_ty)) => { in normalize_associated_types_in()
233 self.normalize_projection_ty(proj_ty.clone()) in normalize_associated_types_in()
241 pub(super) fn normalize_projection_ty(&mut self, proj_ty: ProjectionTy) -> Ty { in normalize_projection_ty()
243 let alias_eq = AliasEq { alias: AliasTy::Projection(proj_ty), ty: var.clone() }; in normalize_projection_ty()
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/infer/ |
| H A D | unify.rs | 232 TyKind::Alias(AliasTy::Projection(proj_ty)) => { in normalize_associated_types_in()
233 self.normalize_projection_ty(proj_ty.clone()) in normalize_associated_types_in()
241 pub(super) fn normalize_projection_ty(&mut self, proj_ty: ProjectionTy) -> Ty { in normalize_projection_ty()
243 let alias_eq = AliasEq { alias: AliasTy::Projection(proj_ty), ty: var.clone() }; in normalize_projection_ty()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_const_eval/src/transform/check_consts/ |
| H A D | qualifs.rs | 293 let proj_ty = base_ty.projection_ty(cx.tcx, elem).ty; in in_place() localVariable
294 if !Q::in_any_value_of_ty(cx, proj_ty) { in in_place()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/print/ |
| H A D | pretty.rs | 792 let proj_ty = (proj_ref.projection_def_id(), proj_ref.ty()); in pretty_print_opaque_impl_type() localVariable
796 Some(proj_ty), in pretty_print_opaque_impl_type()
936 proj_ty: Option<(DefId, ty::Binder<'tcx, Ty<'tcx>>)>, in insert_trait_and_projection()
949 if let Some((_, ty)) = proj_ty { in insert_trait_and_projection()
972 traits.entry(trait_ref).or_default().extend(proj_ty); in insert_trait_and_projection()
|