1
Fork 0
rust/compiler/rustc_middle/src
Matthias Krüger 0a07ffe4ad
Rollup merge of #105287 - compiler-errors:issue-105275, r=eholk
Synthesize substitutions for bad auto traits in dyn types

Auto traits are stored as just `DefId`s inside a `dyn Trait`'s existential predicates list. This is usually fine, since auto traits are forbidden to have generics -- but this becomes a problem for an ill-formed auto trait.

But since this will always result in an error, just synthesize some dummy (error) substitutions which are used at least to keep trait selection code happy about the number of substs in a trait ref.

Fixes #104808
2022-12-06 13:27:43 +01:00
..
dep_graph Allow query system to recover a HirId. 2022-10-01 15:58:42 +02:00
hir Rollup merge of #104199 - SarthakSingh31:issue-97417-1, r=cjgillot 2022-12-03 17:37:41 +01:00
infer Add an optional Span to BrAnon and use it to print better error for HRTB error from generator interior 2022-11-07 17:39:29 -05:00
middle Add TyCtxt::is_fn_trait 2022-11-27 07:19:29 +00:00
mir Use zero based indexing for pass_count 2022-12-02 15:55:24 +00:00
query feed resolver_for_lowering instead of storing it in a field 2022-12-05 10:58:55 +00:00
thir Use boxed slices in PatKind. 2022-09-02 07:26:22 +10:00
traits Prefer doc comments over //-comments in compiler 2022-11-27 11:19:04 +00:00
ty Rollup merge of #105287 - compiler-errors:issue-105275, r=eholk 2022-12-06 13:27:43 +01:00
util
arena.rs feed resolver_for_lowering instead of storing it in a field 2022-12-05 10:58:55 +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 fix: typo 2022-11-06 11:22:29 -05:00
macros.rs add inline to TrivialTypeTraversalImpls 2022-10-17 10:54:03 +02:00
metadata.rs rustc: Parameterize ty::Visibility over used ID 2022-09-07 13:35:41 +04:00
tests.rs
thir.rs Unreserve braced enum variants in value namespace 2022-11-21 22:40:06 +03:00
values.rs Properly synthesize fn sig value during cycle 2022-12-01 23:56:57 -05:00