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