Michael Goulet
|
02b80d2f9c
|
Don't normalize obligations in WF goal for the new solver
|
2023-01-25 21:28:22 +00:00 |
|
Michael Goulet
|
b3f0085376
|
Implement ObjectSafe and WF in the new solver
|
2023-01-25 21:27:12 +00:00 |
|
lcnr
|
033047a72c
|
new_outside_solver -> evaluate_root_goal
|
2023-01-23 15:58:28 +01:00 |
|
Michael Goulet
|
444cbcd729
|
Address goal nits
|
2023-01-21 17:15:00 +00:00 |
|
Michael Goulet
|
d6a411c086
|
Implement some more predicates
|
2023-01-21 16:37:33 +00:00 |
|
Michael Goulet
|
b84b1da2db
|
Canonicalize trait solver response inside probe
|
2023-01-18 14:28:14 +00:00 |
|
lcnr
|
660c28391c
|
remove assembly context and impl a bit more
|
2023-01-18 08:11:15 +01:00 |
|
lcnr
|
bf7dbff921
|
instantiate canonical vars eagerly
|
2023-01-18 08:11:13 +01:00 |
|
Michael Goulet
|
148e4f73dc
|
new trait solver: only consider goal changed if response is not identity
|
2023-01-17 17:40:38 +00:00 |
|
Michael Goulet
|
1de196fef3
|
HACK: Handle escaping bound vars from the canonical query
|
2023-01-12 21:01:34 +00:00 |
|
Michael Goulet
|
5a31d5ebe2
|
Implement dummy query responses and a jank instantiate
|
2023-01-12 21:01:34 +00:00 |
|
lcnr
|
750bf36c33
|
dedup assembly
|
2022-12-20 07:30:24 +00:00 |
|
lcnr
|
a213bb36c9
|
implement the skeleton of the updated trait solver
|
2022-12-19 16:46:17 +00:00 |
|