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.