summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-04-11Revert "remove `pred_known_to_hold_modulo_regions`"Rémy Rakic-3/+47
2024-04-11Check def id before calling match_projection_projectionsMichael Goulet-0/+3
2024-03-28Make `#[diagnostic::on_unimplemented]` format string parsing more robustGeorg Semmler-54/+144
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-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
2024-03-10fix metadata for dyn-star in new solverLukas Markeffsky-2/+3
2024-03-09Rollup merge of #121584 - klensy:itertools-up, r=Mark-SimulacrumGuillaume Boisseau-1/+1
2024-03-09Document some builtin impls in the next solverDeadbeef-0/+39
2024-03-09Auto merge of #122150 - ShoyuVanilla:replace-typewalker, r=lcnrbors-300/+301
2024-03-08diagnostics: suggest `Clone` bounds when noop `clone()`Michael Howell-10/+50
2024-03-08Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkovMatthias Krüger-14/+13
2024-03-08Replace `TypeWalker` usage with `TypeVisitor`Shoyu Vanilla-300/+301
2024-03-08bump itertools to 0.12klensy-1/+1
2024-03-07Rollup merge of #122123 - compiler-errors:object-trait-alias-bounds, r=oli-obkGuillaume Gomez-1/+1
2024-03-07Rollup merge of #122043 - Y-Nak:move-early-binder, r=lcnrGuillaume Gomez-22/+21
2024-03-07Rollup merge of #121863 - lukas-code:silence-mismatched-super-projections, r=...Guillaume Gomez-66/+110
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-22/+21
2024-03-07improve debug loggingLukas Markeffsky-14/+3
2024-03-07Don't require specifying unrelated assoc types when trait alias is in dyn typeMichael Goulet-1/+1
2024-03-06remove outdated fixme commentDeadbeef-1/+0
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-2/+0
2024-03-05Use `ControlFlow` in HIR visitorsJason Newcomb-14/+13
2024-03-05Rollup merge of #121744 - oli-obk:eager_opaque_checks2, r=lcnrMatthias Krüger-2/+0