Spread is allowed when target type has no properties matching spread source

[jtbandes]

Bug Report

🔎 Search Terms

spread missing props

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about spreading

⏯ Playground Link

Playground link

💻 Code

function Foo(props: {x: string}) {
  Bar({y: "hi", ...props});
}
function Bar(_props: {y:string}) {
}

Or the React version of the same thing:

import React from 'react';

function Foo(props: {x: string}) {
  return <Bar y="hi" {...props}/>
}
function Bar(_props: {y:string}) {
  return <div/>
}

🙁 Actual behavior

Spread is allowed

🙂 Expected behavior

This should be an error because the spread source {x: string} does not overlap with the destination type {y: string}.

[jcalz]

See #38657

[typescript-bot]

This issue has been marked as a 'Duplicate' and has seen no recent activity. It has been automatically closed for house-keeping purposes.