Huon Wilson
|
1372202cfa
|
[test] More for conditional conformances; subclasses, devirtualization, etc.
|
2017-11-09 17:51:48 -08:00 |
|
Huon Wilson
|
ec6c83aa44
|
[Sema] Check conditional conformances for generic function calls early.
This allows for better (although not perfect) diagnostics, and more guarantees
of correctness.
|
2017-10-10 20:17:42 -07:00 |
|
Huon Wilson
|
f6729f17d6
|
[Sema] Add conditional requirements as CS constraints.
This tries to feed through the constraint system all the constraints
implied by a concrete type satisfying a conformance requirement.
|
2017-10-10 20:17:41 -07:00 |
|
Huon Wilson
|
6338c35542
|
[test] Add order-dependency conditional conformance edge case to test suite.
|
2017-10-10 20:17:40 -07:00 |
|
Huon Wilson
|
ade976893e
|
[AST] Test conditional requirement selection by having -debug-generic-signatures include conformances.
And make conformances' dump include the conditional requirements too.
|
2017-10-10 20:17:39 -07:00 |
|