Add FIXME

cijiugechu · cijiugechu · commit 28b0ef668303 · 2026-04-15T00:29:50.000+08:00
diff --git a/compiler/rustc_trait_selection/src/error_reporting/infer/note_and_explain.rs b/compiler/rustc_trait_selection/src/error_reporting/infer/note_and_explain.rs
@@ -606,6 +606,7 @@ impl<T> Trait<T> for X {
         ty: Ty<'tcx>,
     ) -> bool {
         let tcx = self.tcx;
+        // FIXME(inherent_associated_types): Extend this to support `ty::Inherent`, too.
         if !matches!(proj_ty.kind, ty::AliasTyKind::Projection { .. }) {
             return false;
         }

Original file line number	Diff line number	Diff line change
`@@ -606,6 +606,7 @@ impl<T> Trait<T> for X {`
`606`	`606`	`ty: Ty<'tcx>,`
`607`	`607`	`) -> bool {`
`608`	`608`	`let tcx = self.tcx;`
	`609`	+ // FIXME(inherent_associated_types): Extend this to support `ty::Inherent`, too.
`609`	`610`	`if !matches!(proj_ty.kind, ty::AliasTyKind::Projection { .. }) {`
`610`	`611`	`return false;`
`611`	`612`	`}`