about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-03-20Auto merge of #120717 - compiler-errors:cap-closure-kind, r=oli-obkbors-7/+7
2024-03-20Rollup merge of #122732 - compiler-errors:coroutine-captures-note, r=nnethercoteMatthias Krüger-60/+58
2024-03-20Auto merge of #122119 - estebank:issue-117846, r=Nadrierilbors-0/+10
2024-03-19Silence unecessary `!Sized` binding errorEsteban Küber-0/+10
2024-03-19Only split by-ref/by-move futures for async closuresMichael Goulet-7/+7
2024-03-19Remove redundant coroutine captures noteMichael Goulet-60/+58
2024-03-19Do binder folding eagerly in bound_coroutine_hidden_typesMichael Goulet-35/+8
2024-03-19Don't ICE when encountering bound regions in generator interior typeMichael Goulet-1/+0
2024-03-19Auto merge of #122493 - lukas-code:sized-constraint, r=lcnrbors-21/+31
2024-03-19Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obkbors-3/+2
2024-03-18address nitsLukas Markeffsky-9/+13
2024-03-18Rollup merge of #122687 - lcnr:normalizes-to-emit-nested-goals, r=compiler-er...Matthias Krüger-156/+189
2024-03-18Rollup merge of #122158 - estebank:feature-sugg, r=WaffleLapkinMatthias Krüger-3/+5
2024-03-18cleanup + reviewlcnr-22/+27
2024-03-18Provide structured suggestion for `#![feature(foo)]`Esteban Küber-3/+5
2024-03-18`NormalizesTo` return nested goalslcnr-72/+107
2024-03-18move `normalizes_to_hack` to `AliasRelate`lcnr-67/+60
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-6/+6
2024-03-15Auto merge of #122571 - matthiaskrgr:rollup-36wwovk, r=matthiaskrgrbors-8/+8
2024-03-15Rollup merge of #122560 - jswrenn:not-yet-supported, r=compiler-errorsMatthias Krüger-8/+8
2024-03-15Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnrbors-20/+8
2024-03-15Safe Transmute: lowercase diagnosticsJack Wrenn-4/+4
2024-03-15Safe Transmute: Use 'not yet supported', not 'unspecified' in errorsJack Wrenn-4/+4
2024-03-15Rollup merge of #122513 - petrochenkov:somehir4, r=fmeaseGuillaume Gomez-13/+12
2024-03-15Rollup merge of #122174 - notriddle:master, r=TaKO8KiMatthias Krüger-10/+50
2024-03-15Auto merge of #122511 - matthiaskrgr:rollup-swzilin, r=matthiaskrgrbors-1/+1
2024-03-14use a let chainLukas Markeffsky-7/+4
2024-03-14remove unnecessary sized checksLukas Markeffsky-3/+4
2024-03-14clean up ADT sized constraint computationLukas Markeffsky-7/+15
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-13/+12
2024-03-14Rollup merge of #122487 - GuillaumeGomez:rename-stmtkind-local, r=oli-obkMatthias Krüger-1/+1
2024-03-14Auto merge of #119849 - lcnr:eagerly-instantiate-binders, r=compiler-errorsbors-23/+49
2024-03-14rebaselcnr-1/+1
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-22/+48
2024-03-14Consolidate WF for aliasesMichael Goulet-20/+8
2024-03-14Rollup merge of #122238 - fee1-dead-contrib:builtin-impl-next-solver-dox, r=lcnrMatthias Krüger-0/+18
2024-03-14move impl documentation to their actual locationsDeadbeef-33/+12
2024-03-14Rename `hir::StmtKind::Local` into `hir::StmtKind::Let`Guillaume Gomez-1/+1
2024-03-13Rollup merge of #122438 - jswrenn:check-referent-size, r=compiler-errorsMatthias Krüger-0/+7
2024-03-13safe transmute: require that src referent is smaller than dstJack Wrenn-0/+7
2024-03-13Rollup merge of #122360 - veera-sivarajan:bugfix-121941, r=compiler-errorsMatthias Krüger-0/+7
2024-03-12Don't Create `ParamCandidate` When Obligation Contains ErrorsVeera-0/+7
2024-03-12Fix discriminant_kind copy paste from the pointee trait caseDaria Sukhonina-2/+3
2024-03-12Rollup merge of #122319 - compiler-errors:next-solver-normalizing-self-constr...Matthias Krüger-1/+3
2024-03-11Don't ICE when non-self part of trait goal is constrained in new solverMichael Goulet-1/+3
2024-03-11Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch...Oli Scherer-5/+2
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-13/+6
2024-03-11Auto merge of #122132 - nnethercote:diag-renaming3, r=nnethercotebors-6/+6
2024-03-11Rename `AddToDiagnostic` as `Subdiagnostic`.Nicholas Nethercote-4/+4
2024-03-11Rename `IntoDiagnostic` as `Diagnostic`.Nicholas Nethercote-4/+4