pub(super) fn check_opaque_for_cycles<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: LocalDefId,
    span: Span
) -> Result<(), ErrorGuaranteed>
Expand description

Checks that an opaque type does not contain cycles.