Matthias Krüger 579dfa42be

Rollup merge of #100789 - compiler-errors:issue-99662, r=spastorino ...

Use separate infcx to solve obligations during negative coherence

I feel like I fixed this already but I may have fixed it then forgot to push the branch...

Also fixes up some redundant param-envs being passed around (since they're already passed around in the `Obligation`)

Fixes #99662

r? ``@spastorino``

2022-08-23 06:55:26 +02:00

..

src

Rollup merge of #100789 - compiler-errors:issue-99662, r=spastorino

2022-08-23 06:55:26 +02:00

Cargo.toml

Initial (incomplete) implementation of transmutability trait.

2022-07-27 17:33:56 +00:00