Module rustc_hir_analysis::check::check
source · [−]Functions
check_fn 🔒
Helper used for fns and closures. Does the grungy work of checking a function
body and returns the function context used for that purpose, since in the case of a fn item
there is still a bit more to do.
Checks that an opaque type does not contain cycles and does not use
Self
or T::Foo
projections that would result in “inheriting lifetimes”.Checks that an opaque type does not contain cycles.
Checks that an opaque type does not use
Self
or T::Foo
projections that would result
in “inheriting lifetimes”.Check that the concrete type behind
impl Trait
actually implements Trait
.Checks whether a type can be represented in memory. In particular, it
identifies types that contain themselves without indirection through a
pointer, which would mean their size is unbounded.
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.