bors fd27e8745f Auto merge of #119849 - lcnr:eagerly-instantiate-binders, r=compiler-errors ...

more eagerly instantiate binders

The old solver sometimes incorrectly used `sub`, change it to explicitly instantiate binders and use `eq` instead. While doing so I also moved the instantiation before the normalize calls. This caused some observable changes, will explain these inline. This PR therefore requires a crater run and an FCP.

r? types

2024-03-14 18:58:53 +00:00

..

src

Auto merge of #119849 - lcnr:eagerly-instantiate-binders, r=compiler-errors

2024-03-14 18:58:53 +00:00

Cargo.toml

bump itertools to 0.12

2024-03-08 12:34:05 +03:00

messages.ftl

make better async fn kind errors

2024-02-15 15:59:35 +00:00