swift
cc4ab6ae - [Type checker] Represent "initializable" let instance property references as lvalues

Commit
1 year ago
[Type checker] Represent "initializable" let instance property references as lvalues As we do with references to initializable local lets, teach the type checker to produce ASTs where member references to initializable instance property lets (e.g., within an initializer) treat the `let` as an lvalue and then immediately load. This modeling addresses a source compatibility issue uncovered in swift-syntax, where code that *technically* has a use-before-definition on a `let` property in an initializer wasn't diagnosed as such because the loaded value wasn't actually used for anything.
Author
Committer
Parents
Loading