]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: e1d9a20 a479f23)
Auto merge of #99137 - jackh726:wf-no-infcx, r=estebank
authorbors <bors@rust-lang.org>
Mon, 18 Jul 2022 03:07:26 +0000 (03:07 +0000)
committerbors <bors@rust-lang.org>
Mon, 18 Jul 2022 03:07:26 +0000 (03:07 +0000)
commit2fa64d0e53c15e1920bd394500da010a4cdd057b
treead1c97bada3d68c27d1c3db7e04108d6ed6beda0tree | snapshot
parente1d9a202fc97301c4abadf707d7ee62432d02c1ccommit | diff
parenta479f23f376eb3acc363ab743b3d2db40ad3f336commit | diff
Auto merge of #99137 - jackh726:wf-no-infcx, r=estebank

Don't pass InferCtxt to WfPredicates

Simple cleanup. Infer vars will get passed up as obligations and shallowed resolved later. This actually improves one test output.
Empowering everyone to build reliable and efficient software.