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