]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #107479 - compiler-errors:probe-can-call-ocx, r=BoxyUwU
authorYuki Okushi <jtitor@2k36.org>
Tue, 31 Jan 2023 02:46:25 +0000 (11:46 +0900)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2023 02:46:25 +0000 (11:46 +0900)
Use `ObligationCtxt::new_in_snapshot` in `satisfied_from_param_env`

We can evaluate nested `ConstEvaluatable` obligations in an evaluation probe, which will ICE if we use `ObligationCtxt::new`.

Fixes #107474
Fixes #106666

r? `@BoxyUwU` but feel free to reassign
cc `@JulianKnodt` who i think added this assertion code

Not sure if the rustdoc test is needed, but can't hurt. They're the same root cause, though.


Trivial merge