Gary Guo
94e59cb6e2
Rename is_object_safe to check_is_object_safe to hint side effects
2023-01-28 15:07:57 +00:00
Matthias Krüger
ab769a0bac
Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnr
...
Minor tweaks in the new solver
1. `InferCtxt::probe` is not needed in `compute_subtype_goal` and `compute_well_formed_goal`.
2. Add a handful of comments.
3. Add a micro-optimization in `consider_assumption` where we check the def-ids of the assumption and goal match before instantiating any binders.
r? ``@lcnr``
2023-01-28 05:20:19 +01:00
Michael Goulet
0654374750
Add some comments
2023-01-27 20:06:12 +00:00
Michael Goulet
ff2413db1b
No need to probe when computing goals
2023-01-27 20:04:59 +00:00
lcnr
727b987e06
solver comments + remove TyCtxt::evaluate_goal
2023-01-26 11:02:28 +01:00
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
