about summary refs log tree commit diff
path: root/compiler/rustc_codegen_gcc/example/alloc_example.rs
diff options
context:
space:
mode:
authorTyler Mandry <tmandry@gmail.com>2021-09-30 01:06:56 +0000
committerTyler Mandry <tmandry@gmail.com>2021-10-13 23:26:00 +0000
commit5c14433c00b29fb2065af0eb664e2040f88b4429 (patch)
tree0a0a40c2f79eebcc5857ee9b64eff20e4b5e61db /compiler/rustc_codegen_gcc/example/alloc_example.rs
parent2c31c31bb87092fec3da6eefe6d5a3a836c6c5ba (diff)
downloadrust-5c14433c00b29fb2065af0eb664e2040f88b4429.tar.gz
rust-5c14433c00b29fb2065af0eb664e2040f88b4429.zip
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 marked MaybeIncorrect because we allow predicates that
are still ambiguous and can't be proven.
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/alloc_example.rs')
0 files changed, 0 insertions, 0 deletions