about summary refs log tree commit diff
path: root/compiler/rustc_interface/src
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2023-02-27 18:48:50 +0100
committerGitHub <noreply@github.com>2023-02-27 18:48:50 +0100
commit585d33e704d2763566b362629c02aa849fb2d44c (patch)
tree62e8446199233de7ac704b9262bc80c425e586f5 /compiler/rustc_interface/src
parent2596bd26cc94a6982cb8b5dd8dfc2eed2a56e46b (diff)
parente1485202ac13d18e4b20e45b3dd02ced4dd8e778 (diff)
downloadrust-585d33e704d2763566b362629c02aa849fb2d44c.tar.gz
rust-585d33e704d2763566b362629c02aa849fb2d44c.zip
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
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions