Module rustc_hir_analysis::check::check
source · Functions
- Checks that an opaque type does not contain cycles and does not use
Self
orT::Foo
projections that would result in “inheriting lifetimes”. - Checks that an opaque type does not contain cycles.
- Check that the concrete type behind
impl Trait
actually implementsTrait
. - Check that a
static
is inhabited. - Check that the fields of the
union
do not need dropping. - Part of enum check. Given the discriminants of an enum, errors if two or more discriminants are equal
- Emit an error for recursive opaque types.