René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"5.6 regression: Inference with mixed in type intersection no longer compiles","articleBody":"### 🔎 Search Terms\n\nInference\n\n### 🕗 Version \u0026 Regression Information\n\n- This changed between versions 5.5.4 and 5.6.0-beta (still happening in 5.6.1-rc)\r\n\n\n### ⏯ Playground Link\n\nhttps://www.typescriptlang.org/play/?ts=5.6.1-rc#code/C4TwDgpgBAYgrgOwMbAJYHsEGF0FsyYQLAA8AClALxQCGCIAfFVABRgBO6YAzgFxRkAlFSYBRADYRcRYFAA+UBHHHiA3ACh1qYhHYAzGkmgSpMgILBg7VACM4wCNygBvdVCioAJngDSEEAD8-NxW2gDm8orK4pFKuDa6Gu5IABao4p7sREFQiADWCOgA7ghJUNx5qGA5NujoknQaAL6anhBI4jRZUHqIKBgIUBCS0sTkDCxuUMA0YfzwyGiYOPiEYxQAZFAmo8AWoXYO3AwANFM0ltaHjvyb2yPml7b2jmeC-DsyGuptHV3QvUWA3uADkaNI2JwePxnAhwRAciFrAgwk13vdTMRvsNMcAWBIwdITi40RoAPRkqAAEXQjkU6FkSDwYHS0G0UAArAA6ABsXKgAGUUuhlJ4oEz8KyueogA\n\n### 💻 Code\n\n```ts\r\ntype FunctionComponent\u003cP = any\u003e = (props: P) =\u003e Element | null;\r\n\r\ninterface ElementAttributes {\r\n  idomKey?: string | null | number;\r\n  children?: unknown;\r\n  skip?: boolean;\r\n}\r\n\r\ndeclare function element\u003cP\u003e(\r\n  tag: FunctionComponent\u003cP \u0026 ElementAttributes\u003e,\r\n  attributes: P \u0026 ElementAttributes,\r\n): Element;\r\n\r\ndeclare function ElName(props: {name?: string}): Element;\r\n\r\nelement(ElName, {});\r\n// Does not compile in 5.6. Should compile.\r\n```\r\n\n\n### 🙁 Actual behavior\n\nLast line errors with:\r\n\r\n```\r\nArgument of type '(props: { name?: string | undefined; }) =\u003e Element' is not assignable to parameter of type 'FunctionComponent\u003cElementAttributes\u003e'.\r\n  Types of parameters 'props' and 'props' are incompatible.\r\n    Type 'ElementAttributes' has no properties in common with type '{ name?: string | undefined; }'.(2345)\r\n```\n\n### 🙂 Expected behavior\n\nCompiles as it did in previous versions\n\n### Additional information about the issue\n\nConfirmed that https://github.com/microsoft/TypeScript/pull/59709 does not resolve this issue.\r\n\r\n(Google note: relevant source location http://shortn/_Ce1E5yV592)","author":{"url":"https://github.com/trevorade","@type":"Person","name":"trevorade"},"datePublished":"2024-08-26T21:44:56.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":4},"url":"https://github.com/59765/TypeScript/issues/59765"}