Function check_opaque_for_cycles

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

Checks that an opaque type does not contain cycles.