- Checks that an opaque type does not contain cycles and does not use
T::Fooprojections that would result in “inheriting lifetimes”.
- Checks that an opaque type does not contain cycles.
- Check that the concrete type behind
impl Traitactually implements
- Check that a
- Check that the fields of the
uniondo 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.