Document how to get the type of a default associated type

Noratrieb · Noratrieb · commit b7cb77fed943 · 2023-01-17T14:01:29.000+01:00
diff --git a/compiler/rustc_middle/src/ty/assoc.rs b/compiler/rustc_middle/src/ty/assoc.rs
@@ -37,6 +37,11 @@ impl AssocItem {
         Ident::new(self.name, tcx.def_ident_span(self.def_id).unwrap())
     }
 
+    /// Gets the defaultness of the associated item.
+    /// To get the default associated type, use the [`type_of`] query on the
+    /// [`DefId`] of the type.
+    ///
+    /// [`type_of`]: crate::ty::TyCtxt::type_of
     pub fn defaultness(&self, tcx: TyCtxt<'_>) -> hir::Defaultness {
         tcx.impl_defaultness(self.def_id)
     }

Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,11 @@ impl AssocItem {`
`37`	`37`	`Ident::new(self.name, tcx.def_ident_span(self.def_id).unwrap())`
`38`	`38`	`}`
`39`	`39`
	`40`	`+ /// Gets the defaultness of the associated item.`
	`41`	+ /// To get the default associated type, use the [`type_of`] query on the
	`42`	+ /// [`DefId`] of the type.
	`43`	`+ ///`
	`44`	+ /// [`type_of`]: crate::ty::TyCtxt::type_of
`40`	`45`	`pub fn defaultness(&self, tcx: TyCtxt<'_>) -> hir::Defaultness {`
`41`	`46`	`tcx.impl_defaultness(self.def_id)`
`42`	`47`	`}`