Files
rust/tests
Matthias Krüger 585d33e704 Rollup merge of #108522 - compiler-errors:new-solver-more-tests, r=jackh726
Commit some new solver tests

Lazy norm is hard.

`<?0 as Trait>::Assoc = ?0` ... probably should emit an alias-eq goal, but currently we don't do that. Right now it fails with a cyclical ty error.

Also committed a check-pass test that broken when I attempted to fix this (unsuccessfully).

r? types
2023-02-27 18:48:50 +01:00
..
2023-01-29 13:01:06 +01:00
2023-02-23 14:05:03 +01:00
2023-01-29 20:19:26 +01:00