Function rustc_hir_analysis::check::check::check_opaque_for_cycles

source ·

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

Expand description

Checks that an opaque type does not contain cycles.