fn assumed_wf_types<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: LocalDefId
) -> &'tcx [(Ty<'tcx>, Span)]