lcnr
|
11d16c4082
|
update use of feature flags
|
2023-12-14 15:22:37 +01:00 |
|
lcnr
|
ffb4c08a81
|
implement and use NormalizesTo
|
2023-12-08 01:31:18 +01:00 |
|
lcnr
|
8024c69c29
|
HACK: avoid hang in structurally_normalize
|
2023-09-21 08:17:58 +02:00 |
|
Michael Goulet
|
fb9030d7dd
|
Structurally normalize weak and inherent too
|
2023-08-07 19:05:59 +00:00 |
|
Michael Goulet
|
e0acff796a
|
New trait solver is a property of inference context
|
2023-06-06 18:43:06 +00:00 |
|
Michael Goulet
|
4cfafb275e
|
Structurally normalize in the new solver
|
2023-05-22 21:18:20 +00:00 |
|