fn assumed_wf_types(tcx: TyCtxt<'_>, def_id: DefId) -> &List<Ty<'_>>