Function rustc_hir_analysis::check::check::check_opaque

source · 
fn check_opaque<'tcx>(tcx: TyCtxt<'tcx>, id: ItemId)
Expand description

Checks that an opaque type does not contain cycles and does not use Self or T::Foo projections that would result in “inheriting lifetimes”.