fn check_well_formed(tcx: TyCtxt<'_>, def_id: OwnerId)