Skip to content

Commit

Permalink
Add note to is_known_rigid
Browse files Browse the repository at this point in the history
  • Loading branch information
compiler-errors committed Sep 21, 2023
1 parent 0fd7ce9 commit e63b41f
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions compiler/rustc_middle/src/ty/sty.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2946,6 +2946,11 @@ impl<'tcx> Ty<'tcx> {
}
}

/// Whether 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 {
match self.kind() {
Bool
Expand Down

0 comments on commit e63b41f

Please sign in to comment.