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,
span: Span,
) -> Result<(), ErrorGuaranteed>
Expand description
Checks that an opaque type does not contain cycles.