about summary refs log tree commit diff
path: root/compiler/rustc_codegen_gcc/example/alloc_example.rs
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2021-10-14 16:06:43 +0200
committerGitHub <noreply@github.com>2021-10-14 16:06:43 +0200
commitf9c9774aea914bc2be7ad1bb466a8104592a7933 (patch)
treec5ad82823424d658d32b96dc63f2eaba2276a80b /compiler/rustc_codegen_gcc/example/alloc_example.rs
parentc34ac8747ca96d09cb08b8f5adddead826e77c06 (diff)
parenta8558e9efabc6640e8c1b1c353e62c233624f616 (diff)
downloadrust-f9c9774aea914bc2be7ad1bb466a8104592a7933.tar.gz
rust-f9c9774aea914bc2be7ad1bb466a8104592a7933.zip
Rollup merge of #89390 - tmandry:issue-72117, r=estebank
Fix incorrect Box::pin suggestion

The suggestion checked if `Pin<Box<T>>` could be coeerced to the expected
type, but did not check predicates created by the coercion. We now
look for predicates that definitely cannot be satisfied before giving
the suggestion.

The suggestion is still marked MaybeIncorrect because we allow predicates that
are still ambiguous and can't be proven.

Fixes #72117.
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/alloc_example.rs')
0 files changed, 0 insertions, 0 deletions