Angela Laar
b6637e4586
[CSSyntacticElement] Only add constraints when brace statement represents the whole body
2022-11-16 22:39:41 -08:00
Angela Laar
45fb9899d6
[CSSyntacticElement] Only set default if generator has no errors
2022-11-15 23:38:01 -08:00
Angela Laar
5d93b99a91
[CSClosure] Move participatesInInference check to Constraint Generator
2022-11-15 17:28:43 -08:00
Angela Laar
8257cc1e10
[CSClosure] Generate constraints for empty closure body
...
We should do this in the ConstraintGenerator instead of in a ConstraintSystem method.
2022-11-15 16:14:38 -08:00
Angela Laar
b4549d63f0
[Constraint System] Refactor generateConstraints
...
We don't need a separate generateConstraints function for closures.
2022-11-15 16:13:58 -08:00
Pavel Yaskevich
f5f94fd8ee
[CSClosure] Introduce SyntacticElementContext
...
Replace `AnyFunctionRef` as "context" for syntactic element with
a custom `SyntacticElementContext` to support type-checking of
other constructs in the future.
2022-11-14 20:03:42 +00:00
Hamish Knight
1846276a13
[CS] Factor out brace element handling in a couple of cases
...
Split out brace element handling for a couple of
walkers into a new function. The diff for this is
best viewed without whitespace changes. This
should be NFC.
2022-11-14 20:03:41 +00:00
Hamish Knight
0faa0b60d4
[CS] NFC: Remove unused method
2022-11-14 20:03:40 +00:00
Hamish Knight
fd9fa72f0f
[CS] NFC: Rename CSClosure.cpp -> CSSyntacticElement.cpp
...
We want to generalize this conjunction logic to
not just be applicable to closures, so rename the
file to match.
2022-11-14 20:03:39 +00:00
