Rollup of 11 pull requests #105360
Closed
Rollup of 11 pull requests #105360
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…into documentation-104107
Co-authored-by: Vincenzo Palazzo <[email protected]>
Because the error message that emit out is from main error of parser The information of enum variant disappears while parsing enum variant with error We only check the syntax of expecting token, i.e, in case rust-lang#103869 It will error it without telling the message that this error is from pasring enum variant. Propagate the sub-error from parsing enum variant to the main error of parser by chaining it with map_err Check the sub-error before emitting the main error of parser and attach it. Fix rust-lang#103869
…ue type reveal overflow
Add examples for std::pin::Pin new() and into_inner() methods Fixes rust-lang#104107
…ler-errors On E0195 point at where clause lifetime bounds Fix rust-lang#104733
propagate the error from parsing enum variant to the parser and emit out While parsing enum variant, the error message always disappear Because the error message that emit out is from main error of parser The information of enum variant disappears while parsing enum variant with error We only check the syntax of expecting token, i.e, in case rust-lang#103869 It will error it without telling the message that this error is from pasring enum variant. Propagate the sub-error from parsing enum variant to the main error of parser by chaining it with map_err Check the sub-error before emitting the main error of parser and attach it. Fix rust-lang#103869
remove no-op 'let _ = ' Also see the discussion at rust-lang#93563 (comment). I don't know why these `Drop` implementations exist to begin with, given that their body does literally nothing, but did not want to change that. (It might affect dropck.) Cc ````@ibraheemdev```` ````@Amanieu````
Recurse into nested impl-trait when computing variance. Fixes rust-lang#105251
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 rust-lang#104808
Be more careful about unresolved exprs in suggestion Fixes rust-lang#105288
…ckh726 Make `get_impl_future_output_ty` work with AFIT Fixes rust-lang#105304
support `ConstKind::Expr` in `is_const_evaluatable` and `WfPredicates::compute` Fixes rust-lang#105205 Currently we haven't implemented a way to evaluate `ConstKind::Expr(Expr::Binop(Add, 1, 2))` so I just left that with a `FIXME` and a `delay_span_bug` since I have no idea how to do that and it would make this a much larger (and more complicated) PR :P
…errors Avoid ICE by accounting for missing type Fix rust-lang#105330
…kes-predicate, r=fee1-dead Make `note_obligation_cause_code` take a `impl ToPredicate` for predicate The only usecase that wasn't `impl ToPredicate` was noting overflow errors while revealing opaque types, which passed in an `Obligation<'tcx, Ty<'tcx>>`... Since this only happens in a `RevealAll` environment, which is after typeck (and probably primarily within `normalize_erasing_regions`) we're unlikely to display anything useful while noting this code, evidenced by the lack of UI test changes.
rustbot
added
A-translation
|
@bors r+ rollup=never p=11 |
bors
added
S-waiting-on-bors
|
⌛ Testing commit 1dfedd6 with merge b0874a26e5dc34bf4fd4e12c370070b7b09f42d3... |
|
Wait a sec, merge commits in #104195 |
|
:( |
bors
added
S-waiting-on-author
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Successful merges:
get_impl_future_output_tywork with AFIT #105318 (Makeget_impl_future_output_tywork with AFIT)ConstKind::Exprinis_const_evaluatableandWfPredicates::compute#105339 (supportConstKind::Exprinis_const_evaluatableandWfPredicates::compute)note_obligation_cause_codetake aimpl ToPredicatefor predicate #105342 (Makenote_obligation_cause_codetake aimpl ToPredicatefor predicate)Failed merges:
r? @ghost
@rustbot modify labels: rollup
Create a similar rollup