Holly Borla
11028350a7
Merge pull request #35589 from Jumhyn/placeholder-types
...
[AST, Sema] Replace HoleType with PlaceholderType
2021-02-22 08:35:37 -08:00
Pavel Yaskevich
321cc07ba2
[CSBindings] Reset literal coverage when retracting constraint
2021-02-17 17:26:05 -08:00
Pavel Yaskevich
8e90882ee1
[CSBindings] Allow retracting constraints previously used to compute potential bindings
...
This allows to avoid having to recompute bindings when solver backtracks.
2021-02-17 17:25:42 -08:00
Frederick Kellison-Linn
e4ea1678dc
Rename HoleType to PlaceholderType
...
HoleType basically served the same purpose as PlaceholderType. This commit unifies the two.
2021-02-16 22:59:19 -05:00
Pavel Yaskevich
655aeef7ca
[CSBindings] NFC: Associate isCoveredBy(PotentialBinding) with literal requirement
2021-02-16 16:57:50 -08:00
Pavel Yaskevich
b3284c6a9d
[CSBindings] Track source constraint of an adjacent variable
...
This makes it much easier to remove adjacencies when constraint
is retracted from the bindings.
2021-02-11 15:40:19 -08:00
Pavel Yaskevich
c7169edf8f
[CSBindings] NFC: Drop result type from since it's no longer useful
2021-02-09 09:09:31 -08:00
Pavel Yaskevich
df43268929
[CSBindings] Inference cannot fail
...
Any constraints which would previously cause binding inference to
fail should instead delay associated type variable and preserve
all of the collected information.
This is vital for incremental binding computation that cannot
re-introduce constraints after "failure" because it's too expensive.
2021-01-20 16:58:05 -08:00
Pavel Yaskevich
cb4e597921
[ConstraintSystem] NFC: Convert getPotentialBindingForRelationalConstraint into a method on PotentialBindings
2021-01-15 15:04:13 -08:00
Pavel Yaskevich
72888ca29b
[ConstraintSystem] NFC: Extract PotentialBindings and auxiliary struct from ConstraintSystem
...
This opens up a posibility of using `PotentialBindings`
in `ConstraintGraphNode` and other places in `ConstraintGraph`.
2021-01-15 15:03:54 -08:00
Pavel Yaskevich
afec25271e
[ConstraintSystem] Extract PotentialBinding and its auxiliary classes into a separate header
...
Create a new namespace - `swift::constraints::inference` and associate
`PotentialBinding` with it. This way it would be possible for constraint
graph to operate on `PotentialBinding(s)` in the future.
2021-01-15 15:03:24 -08:00
