[Sema/SIL] Improve diagnostics related to init accessors#66513

Merged

xedin merged 10 commits intoswiftlang:mainfrom

xedin:init-accessor-diagnostics

Jun 14, 2023

Commits on Jun 13, 2023

[Sema] PreCheck: Diagnose standalone self within init accessors
xedin
committed
[ConstraintSystem] InitAccessors: Detect invalid references to members within init accessors
xedin
committed
[CSFix] InitAccessors: Add a fix that tracks invalid member references within init accessors
xedin
committed
[CSDiagnostics] InitAccessors: Implement invalid member reference diagnostics within init accessors
xedin
committed
[DI] InitAccessors: Enforce that @out parameters are fully initialized before every terminator
xedin
committed
[Sema/SILGen] InitAccessors: Emit intersecting init accessor calls in memberwise init
xedin
committed
[Sema] InitAccessors: Diagnose situations when memberwise init cannot be synthesized
xedin
committed
[Sema/SILGen] InitAccessors: Don't synthesize memberwise init if `initializes` intersect
xedin
committed
[AST] InitAccessors: Mark properties that init other properties as memberwise initializable
xedin
committed
[Sema/SILGen] InitAccessors: Memberwise initializers with init accessors should follow field order
xedin
committed