]> git.lizzy.rs Git - rust.git/commitdiff
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)
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


Trivial merge