]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #99056 - lcnr:higher_ranked_sub, r=oli-obk
authorbors <bors@rust-lang.org>
Sat, 9 Jul 2022 19:57:13 +0000 (19:57 +0000)
committerbors <bors@rust-lang.org>
Sat, 9 Jul 2022 19:57:13 +0000 (19:57 +0000)
commit6dba4ed215e7a60f0a2a19c04f3f73691f89c509
tree0b2d4545d689d46d9a4313a2ded3b85f75aa412f
parentf893495e3da91dc319d37861b803eed9d6c8c7c7
parentaea2d7e20a259cf6ee553a77a2683b63cd7f1fd3
Auto merge of #99056 - lcnr:higher_ranked_sub, r=oli-obk

don't use `commit_if_ok` during `higher_ranked_sub`

This snapshot doesn't really do anything useful for us, especially once we deal with placeholder outlive bounds during trait solving.

I guess that currently the idea is that `higher_ranked_sub` could cause a later `leak_check` to fail even if the combine operation isn't actually relevant. But really, using combine outside of snapshot and ignoring its result is wrong anyways, as it can constrain inference variables.

r? rust-lang/types