Add note to is_known_rigid

compiler-errors · compiler-errors · commit 3f35ab3e13e7 · 2023-09-21T19:05:09.000Z
diff --git a/compiler/rustc_middle/src/ty/sty.rs b/compiler/rustc_middle/src/ty/sty.rs
@@ -2946,6 +2946,10 @@ impl<'tcx> Ty<'tcx> {
         }
     }
 
+    /// Whether the outermost type cannot be further normalized, resolved, or
+    /// substituted. This includes all built-in types, but also things like
+    /// ADTs and dynamic types, even if their arguments or nested types may be
+    /// further simplified.
     pub fn is_known_rigid(self) -> bool {
         match self.kind() {
             Bool

Original file line number	Diff line number	Diff line change
`@@ -2946,6 +2946,10 @@ impl<'tcx> Ty<'tcx> {`
`2946`	`2946`	`}`
`2947`	`2947`	`}`
`2948`	`2948`
	`2949`	`+ /// Whether the outermost type cannot be further normalized, resolved, or`
	`2950`	`+ /// substituted. This includes all built-in types, but also things like`
	`2951`	`+ /// ADTs and dynamic types, even if their arguments or nested types may be`
	`2952`	`+ /// further simplified.`
`2949`	`2953`	`pub fn is_known_rigid(self) -> bool {`
`2950`	`2954`	`match self.kind() {`
`2951`	`2955`	`Bool`