No error when accessing setter-only properties

🔎 Search Terms

"setter only", "setter-only"

🕗 Version & Regression Information

• This behavior is present in the current version of TypeScript, 5.4.4

⏯ Playground Link

https://www.typescriptlang.org/play?#code/MYGwhgzhAEBiD29oG8BQ0PQgUwC7QCMwAnACiIC8AuLXYgSwDsBzAShWgF9VvVh5GEfADNE0ALzRG2AO5xEpVgG4+AodABuYEAFdsNIQxYToo+ADoixJdAD0t6ABUAFvRiQI9ZowC22RvgQzvA6IAAmUvD4BNjQ2iDwMthhADSmiJYk0DL0ICBxIDJgAJ4wMdA6jGHYwkzJAIRAA

💻 Code

class Foo {
    set bar(baz: string) { }
}

const foo = new Foo();
const value: string = foo.bar; // This assignment should not be allowed, foo.bar will always be undefined!

🙁 Actual behavior

There is no error reported during type-checking.

🙂 Expected behavior

The type-checking should report an error for the assignment in the last line as foo.bar will always be undefined.

Additional information about the issue

#21759 is related, but that issue proposes a whole new language feature, this issue is solely about the lack of a type error.

リンクされている TypeScript Playground から始め、setter のみを持つプロパティへの代入を再現して、現在の型チェックの動作を確認してください。foo.bar の読み取りに関係する type-checker の経路を追跡し、読み取り結果を string に代入するとエラーが報告されることを示すテストカバレッジを追加してください。ただし、#21759 で議論されている別の機能は実装しないでください。