about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-08Manually register some bounds for a better spanMichael Goulet-0/+5
2024-10-27Remove ObligationCause::span() methodMichael Goulet-12/+7
2024-10-27Stop using the whole match expr span for an arm's obligation spanMichael Goulet-0/+2
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-4/+5
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-49/+55
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-4/+4
2024-08-08Detect `*` operator on `!Sized` expressionEsteban Küber-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-9/+7
2024-07-07Get rid of the redundant elaboration in middleMichael Goulet-1/+0
2024-06-16Uplift Reveal to rustc_type_irMichael Goulet-48/+1
2024-06-06Make middle not rely on next_trait_solverMichael Goulet-1/+1
2024-06-05Fully implement `ConstArgHasType`Boxy-0/+2
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-27/+2
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-16/+9
2024-05-10Name tweaksMichael Goulet-7/+7
2024-05-10More rename falloutMichael Goulet-18/+19
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-27/+20
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-11/+12
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+3
2024-04-25Rollup merge of #124381 - compiler-errors:derived-for-wf, r=lcnrMichael Goulet-2/+7
2024-04-25Renamed DerivedObligation to WellFormedDeriveObligationMichael Goulet-2/+7
2024-04-25Check closure args and returns are WFMichael Goulet-1/+1
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-16Avoid lots of `hir::HirId{,Map,Set}` qualifiers.Nicholas Nethercote-15/+16
2024-04-15Stop using PolyTraitRef for closure/coroutine predicates already instantiated...Michael Goulet-3/+2
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-30/+1
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-8/+7
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-27Stop doing expensive work in opt_suggest_box_span eagerlyMichael Goulet-2/+4
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-0/+1
2024-03-11Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch...Oli Scherer-4/+4
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-5/+11
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-2/+2
2024-02-15Remove a suggestion that is redundantMichael Goulet-1/+0
2024-02-15Only point out non-diverging arms for match suggestionsMichael Goulet-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-0/+2
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-2/+2
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-3/+0
2024-01-12OutputTypeParameterMismatch -> SignatureMismatchMichael Goulet-2/+2
2024-01-03Track `HirId` instead of `Span` in `ObligationCauseCode::SizedArgumentType`Esteban Küber-1/+1
2023-12-26Auto merge of #118431 - sjwang05:issue-44695, r=estebankbors-1/+18
2023-12-19rename to verbose-internalsjyn-1/+1
2023-12-16Provide better suggestions for T == &T and &T == Tsjwang05-1/+18
2023-11-27Auto merge of #117200 - rmehri01:repeated_help, r=WaffleLapkinbors-30/+65