| /dports/lang/rust/rustc-1.58.1-src/src/test/ui/traits/ |
| H A D | item-privacy.rs | 41 mod assoc_ty { module
107 fn check_assoc_ty<T: assoc_ty::C>() { in check_assoc_ty()
111 use assoc_ty::C; in check_assoc_ty()
124 let _: dyn assoc_ty::B< in check_assoc_ty()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
| H A D | wf.rs | 112 TyKind::AssociatedType(assoc_ty, substitution) => { in visit_ty()
114 assoc_ty.visit_with(self, outer_binder); in visit_ty()
557 let assoc_ty = &db.associated_ty_value(assoc_ty_id); in compute_assoc_ty_goal() localVariable
561 &assoc_ty.value.map_ref(|v| &v.ty), in compute_assoc_ty_goal()
573 let assoc_ty = &db.associated_ty_value(assoc_ty_id); in compute_assoc_ty_goal() localVariable
578 assoc_ty, in compute_assoc_ty_goal()
582 let impl_id = assoc_ty.impl_id; in compute_assoc_ty_goal()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
| H A D | wf.rs | 112 TyKind::AssociatedType(assoc_ty, substitution) => { in visit_ty()
114 assoc_ty.visit_with(self, outer_binder); in visit_ty()
557 let assoc_ty = &db.associated_ty_value(assoc_ty_id); in compute_assoc_ty_goal() localVariable
561 &assoc_ty.value.map_ref(|v| &v.ty), in compute_assoc_ty_goal()
573 let assoc_ty = &db.associated_ty_value(assoc_ty_id); in compute_assoc_ty_goal() localVariable
578 assoc_ty, in compute_assoc_ty_goal()
582 let impl_id = assoc_ty.impl_id; in compute_assoc_ty_goal()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
| H A D | wf.rs | 111 TyKind::AssociatedType(assoc_ty, substitution) => { in visit_ty()
113 assoc_ty.visit_with(self, outer_binder); in visit_ty()
555 let assoc_ty = &db.associated_ty_value(assoc_ty_id); in compute_assoc_ty_goal() localVariable
559 &assoc_ty.value.map_ref(|v| &v.ty), in compute_assoc_ty_goal()
571 let assoc_ty = &db.associated_ty_value(assoc_ty_id); in compute_assoc_ty_goal() localVariable
576 assoc_ty, in compute_assoc_ty_goal()
580 let impl_id = assoc_ty.impl_id; in compute_assoc_ty_goal()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/ |
| H A D | project.rs | 1365 assoc_ty = ?selcx.tcx().def_path_str(node_item.item.def_id), in assemble_candidates_from_impls()
1822 let assoc_ty = match assoc_ty_def(selcx, impl_def_id, assoc_item_id) { in confirm_impl_candidate() localVariable
1823 Ok(assoc_ty) => assoc_ty, in confirm_impl_candidate()
1827 if !assoc_ty.item.defaultness.has_value() { in confirm_impl_candidate()
1834 assoc_ty.item.ident, obligation.predicate in confirm_impl_candidate()
1846 translate_substs(selcx.infcx(), param_env, impl_def_id, substs, assoc_ty.defining_node); in confirm_impl_candidate()
1847 let ty = tcx.type_of(assoc_ty.item.def_id); in confirm_impl_candidate()
1848 if substs.len() != tcx.generics_of(assoc_ty.item.def_id).count() { in confirm_impl_candidate()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
| H A D | infer.rs | 510 fn resolve_associated_type(&mut self, inner_ty: Ty, assoc_ty: Option<TypeAliasId>) -> Ty { in resolve_associated_type()
511 self.resolve_associated_type_with_params(inner_ty, assoc_ty, &[]) in resolve_associated_type()
517 assoc_ty: Option<TypeAliasId>, in resolve_associated_type_with_params()
520 match assoc_ty { in resolve_associated_type_with_params()
|
| H A D | chalk_db.rs | 648 let assoc_ty = db in type_alias_associated_ty_value() localVariable
656 associated_ty_id: to_assoc_type_id(assoc_ty), in type_alias_associated_ty_value()
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
| H A D | infer.rs | 511 fn resolve_associated_type(&mut self, inner_ty: Ty, assoc_ty: Option<TypeAliasId>) -> Ty { in resolve_associated_type()
512 self.resolve_associated_type_with_params(inner_ty, assoc_ty, &[]) in resolve_associated_type()
518 assoc_ty: Option<TypeAliasId>, in resolve_associated_type_with_params()
521 match assoc_ty { in resolve_associated_type_with_params()
|
| H A D | chalk_db.rs | 647 let assoc_ty = db in type_alias_associated_ty_value() localVariable
655 associated_ty_id: to_assoc_type_id(assoc_ty), in type_alias_associated_ty_value()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/astconv/ |
| H A D | mod.rs | 1130 let assoc_ty = tcx in add_predicates_for_ast_type_binding() localVariable
1138 if !assoc_ty.vis.is_accessible_from(def_scope, tcx) { in add_predicates_for_ast_type_binding()
1147 tcx.check_stability(assoc_ty.def_id, Some(hir_ref_id), binding.span, None); in add_predicates_for_ast_type_binding()
1151 .entry(assoc_ty.def_id) in add_predicates_for_ast_type_binding()
1157 def_path: tcx.def_path_str(assoc_ty.container.id()), in add_predicates_for_ast_type_binding()
1165 let ident = Ident::new(assoc_ty.ident.name, binding.item_name.span); in add_predicates_for_ast_type_binding()
1177 assoc_ty.def_id, in add_predicates_for_ast_type_binding()
1188 item_def_id: assoc_ty.def_id, in add_predicates_for_ast_type_binding()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/ |
| H A D | debug.rs | 197 TyKind::AssociatedType(assoc_ty, substitution) => { in fmt()
198 write!(fmt, "{:?}<{:?}>", assoc_ty, substitution) in fmt()
494 TyKind::AssociatedType(assoc_ty, substitution) => { in fmt()
495 write!(fmt, "{:?}{:?}", assoc_ty, substitution.with_angle(interner)) in fmt()
|
| H A D | fold.rs | 401 TyKind::AssociatedType(assoc_ty, substitution) => TyKind::AssociatedType( in super_fold_with()
402 assoc_ty.fold_with(folder, outer_binder)?, in super_fold_with()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir/src/ |
| H A D | debug.rs | 197 TyKind::AssociatedType(assoc_ty, substitution) => { in fmt()
198 write!(fmt, "{:?}<{:?}>", assoc_ty, substitution) in fmt()
494 TyKind::AssociatedType(assoc_ty, substitution) => { in fmt()
495 write!(fmt, "{:?}{:?}", assoc_ty, substitution.with_angle(interner)) in fmt()
|
| H A D | fold.rs | 406 TyKind::AssociatedType(assoc_ty, substitution) => TyKind::AssociatedType( in super_fold_with()
407 assoc_ty.fold_with(folder, outer_binder)?, in super_fold_with()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir-0.55.0/src/ |
| H A D | debug.rs | 197 TyKind::AssociatedType(assoc_ty, substitution) => { in fmt()
198 write!(fmt, "{:?}<{:?}>", assoc_ty, substitution) in fmt()
494 TyKind::AssociatedType(assoc_ty, substitution) => { in fmt()
495 write!(fmt, "{:?}{:?}", assoc_ty, substitution.with_angle(interner)) in fmt()
|
| H A D | fold.rs | 406 TyKind::AssociatedType(assoc_ty, substitution) => TyKind::AssociatedType( in super_fold_with()
407 assoc_ty.fold_with(folder, outer_binder)?, in super_fold_with()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_traits/src/chalk/ |
| H A D | lowering.rs | 397 TyKind::AssociatedType(assoc_ty, substitution) => ty::Projection(ty::ProjectionTy { in lower_into()
399 item_def_id: assoc_ty.0, in lower_into()
|