about summary refs log tree commit diff
path: root/compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2023-01-19 16:49:06 +0000
committerbors <bors@rust-lang.org>2023-01-19 16:49:06 +0000
commit4c83bd03a9d94af35c97a6b8b595d40e291af84a (patch)
treea6e6436760b003ddd16d6e6b9f67f3f7ecfa340c /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp
parent19423b59440f464c6cbe6be442d447e37b50fe3c (diff)
parent7e0b1f11154bc5e9af996b821b2c28680c3f46c8 (diff)
downloadrust-4c83bd03a9d94af35c97a6b8b595d40e291af84a.tar.gz
rust-4c83bd03a9d94af35c97a6b8b595d40e291af84a.zip
Auto merge of #107038 - compiler-errors:dont-wfcheck-non-local-rpit, r=oli-obk
Don't wf-check non-local RPITs

We were using `ty::is_impl_trait_defn(..).is_none()` to check if we need to add WF obligations for an opaque type.

This is *supposed* to be checking if the type is a TAIT, since RPITs' wfness is implied by wf checking its parent item, but since `is_impl_trait_defn` returns `None` for non-local RPIT and async futures, we unnecessarily consider wf predicates for an RPIT if it is coming from a foreign crate.

Fixes #107036

r? `@oli-obk` but feel free to reassign
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions