1
Fork 0
rust/compiler/rustc_middle/src
bors 4c83bd03a9 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
2023-01-19 16:49:06 +00:00
..
dep_graph rustc: Remove needless lifetimes 2022-12-20 22:10:40 +01:00
hir Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 2023-01-17 20:21:25 +01:00
infer remove assembly context and impl a bit more 2023-01-18 08:11:15 +01:00
middle rustc: Remove needless lifetimes 2022-12-20 22:10:40 +01:00
mir Stop using BREAK & CONTINUE in compiler 2023-01-17 23:17:51 -08:00
query Encode whether foreign opaques are TAITs or not 2023-01-19 15:45:49 +00:00
thir Use boxed slices in PatKind. 2022-09-02 07:26:22 +10:00
traits even more unify Projection/Opaque in outlives code 2023-01-19 15:31:53 +03:00
ty Auto merge of #107038 - compiler-errors:dont-wfcheck-non-local-rpit, r=oli-obk 2023-01-19 16:49:06 +00:00
util Add some docs to bug, span_bug and delay_span_bug 2022-12-30 16:47:56 +01:00
arena.rs Remove output_filenames field from TyCtxt and feed the query instead 2023-01-12 17:14:17 +00:00
error.rs Match crate and slug names 2022-11-21 15:24:50 +01:00
lib.rs Only allow feeding a value to newly created definitions. 2022-11-29 18:43:00 +00:00
lint.rs create helper function for rustc_lint_defs::Level and remove it's duplicated code r=ozkanonur 2023-01-10 10:56:17 +03:00
macros.rs Stop using BREAK & CONTINUE in compiler 2023-01-17 23:17:51 -08:00
metadata.rs rustc: Parameterize ty::Visibility over used ID 2022-09-07 13:35:41 +04:00
tests.rs
thir.rs Migrate deconstruct_pat.rs 2023-01-11 14:39:49 -08:00
values.rs add EarlyBinder::subst_identity; impl ParameterizedOverTcx (needed for rustc_metadata) and Value for EarlyBinder 2023-01-14 00:13:06 -07:00