]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 44aa866 ba72729)
Rollup merge of #100789 - compiler-errors:issue-99662, r=spastorino
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 23 Aug 2022 04:55:26 +0000 (06:55 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Aug 2022 04:55:26 +0000 (06:55 +0200)
commit579dfa42be707acd0e2fa378b505ed18ad7b5c75
tree3f02274667716f1e0e51f6cc8d8a998f34a9603etree | snapshot
parent44aa866488fd3524be7aafd1db0269ad4d59c2afcommit | diff
parentba7272959df7447c7393a14f475663de1f250f8fcommit | diff
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``
Empowering everyone to build reliable and efficient software.