Non-homomorphic instantiation of a homomorphic mapped type is not spreadable when it has an array constraint

[Andarist]

🔎 Search Terms

mapped type homomorphic instantiation array tuple constraint spread spreadable

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

https://www.typescriptlang.org/play?ts=5.4.0-dev.20231210#code/C4TwDgpgBAEghgOwCYBsIHkzAJYHsEDOAPOgHxQC8UA3gLABQUUA2gJJTYJQDWEIuAMyjoAugC4aDJkwBucFAFcIE9GxEBuKVAC+m+roYMkEAMYo4AJ2gCFCEznxQbdgIxEtAFSgQAHsAjIBFAASqa4FkhEAAoWuJAWoADSfAA0UFZwSPgoIFCIIMwipCkMpAAUAtgQKEgEEnSMLIkcXLz8Qh7iko1M5gBG1RIEwBacAOZ60lBxDoQSzAB0S-DIaJizxB7MiUUaWgb6AJQSHnoMJvjD6RAECijAlE62Ji5lDUxgsWD1Wr1wAygJAAiSoWYZAko9aZYPBzFi-aTvKbSOSKZRQFwAJgAzJDkTo8cikfjUUpgQJcLgIQimNpCUwRIS6VpcMAABYQCw-KH9QZQIEEMLIalQmawurwqFMYnI0nooF9Swi-HMqXdfGyeRkqAjJT06SqqaM-aQ7SHPRAA

💻 Code

type HandleOptions<O> = {
  [I in keyof O]: {
    value: O[I];
  };
};

declare function func1<
  T extends Record<PropertyKey, readonly any[]>,
>(fields: {
  [K in keyof T]: {
    label: string;
    options: [...HandleOptions<T[K]>];
  };
}): T;

const result = func1({
  prop: {
    label: "first",
    options: [
      {
        value: 123,
      },
      {
        value: "foo",
      },
    ],
  },
  other: {
    label: "second",
    options: [
      {
        value: "bar",
      },
      {
        value: true,
      },
    ],
  },
});

🙁 Actual behavior

Error at line 12:

A rest element type must be an array type.(2574)

🙂 Expected behavior

The error should not be reported

Additional information about the issue

No response