rustc_borrowck::region_infer::opaque_types

Function check_opaque_type_well_formed

source
fn check_opaque_type_well_formed<'tcx>(
    tcx: TyCtxt<'tcx>,
    next_trait_solver: bool,
    def_id: LocalDefId,
    definition_span: Span,
    definition_ty: Ty<'tcx>,
) -> Result<Ty<'tcx>, ErrorGuaranteed>
Expand description

This logic duplicates most of check_opaque_meets_bounds. FIXME(oli-obk): Also do region checks here and then consider removing check_opaque_meets_bounds entirely.