about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-03-21Provide structured suggestion for unconstrained generic constantEsteban Küber-5/+32
2024-03-20Split item bounds and item super predicatesMichael Goulet-18/+16
2024-03-20Auto merge of #120717 - compiler-errors:cap-closure-kind, r=oli-obkbors-6/+6
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-6/+6
2024-03-19Remove redundant coroutine captures noteMichael Goulet-60/+58
2024-03-19Do binder folding eagerly in bound_coroutine_hidden_typesMichael Goulet-5/+3
2024-03-19Auto merge of #122493 - lukas-code:sized-constraint, r=lcnrbors-14/+12
2024-03-19Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obkbors-2/+1
2024-03-18address nitsLukas Markeffsky-5/+8
2024-03-18Rollup merge of #122158 - estebank:feature-sugg, r=WaffleLapkinMatthias Krüger-3/+5
2024-03-18Provide structured suggestion for `#![feature(foo)]`Esteban Küber-3/+5
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-5/+5
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-14clean up ADT sized constraint computationLukas Markeffsky-5/+3
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-13/+12
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-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-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-13/+6
2024-03-09Auto merge of #122150 - ShoyuVanilla:replace-typewalker, r=lcnrbors-300/+301
2024-03-08Stabilize associated type boundsMichael Goulet-2/+1
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-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-16/+15
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-16/+15
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-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