bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add note to is_known_rigid

Browse source
This commit is contained in:
Michael Goulet 2023-09-21 19:05:09 +00:00
parent 0fd7ce99b0
commit 7fc081b4d9
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_middle/src/ty/sty.rs
View file

@ -2946,6 +2946,11 @@ impl<'tcx> Ty<'tcx> {
} }
} }
/// Returns `true` when the outermost type cannot be further normalized,
/// resolved, or substituted. This includes all primitive types, but also
/// things like ADTs and trait objects, sice even if their arguments or
/// nested types may be further simplified, the outermost [`TyKind`] or
/// type constructor remains the same.
pub fn is_known_rigid(self) -> bool { pub fn is_known_rigid(self) -> bool {
match self.kind() { match self.kind() {
Bool Bool