about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-01-11`specialization_graph_of`'s `errored` field is used in the only call site, an...Oli Scherer-34/+34
2024-01-11Remove special-casing around aliaskind in new solverMichael Goulet-2/+1
2024-01-10Auto merge of #119751 - nnethercote:error-api-fixes, r=oli-obkbors-42/+37
2024-01-10Define hidden types in confirmationOli Scherer-1/+1
2024-01-09Avoid silencing relevant follow-up errorsOli Scherer-0/+6
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-8/+9
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-15/+9
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-20/+20
2024-01-09Auto merge of #118968 - aliemjay:canon-static, r=lcnrbors-16/+5
2024-01-09Auto merge of #117703 - compiler-errors:recursive-async, r=lcnrbors-8/+5
2024-01-09Rollup merge of #118649 - compiler-errors:coherence-ambig, r=lcnrMatthias Krüger-70/+14
2024-01-09Rollup merge of #119725 - compiler-errors:has_effect_param, r=fmeaseMatthias Krüger-1/+1
2024-01-08Don't check for recursion in generator witness fieldsMichael Goulet-8/+5
2024-01-08Make inductive cycles in coherence ambiguous alwaysMichael Goulet-70/+14
2024-01-08Remove `DiagnosticBuilder::delay_as_bug_without_consuming`.Nicholas Nethercote-1/+1
2024-01-08Remove all eight `DiagnosticBuilder::*_with_code` methods.Nicholas Nethercote-2/+2
2024-01-08Use chaining for `DiagnosticBuilder` construction and `emit`.Nicholas Nethercote-11/+10
2024-01-08Use chaining in `DiagnosticBuilder` construction.Nicholas Nethercote-16/+12
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-5/+8
2024-01-08Add helper for when we want to know if an item has a host paramMichael Goulet-1/+1
2024-01-05Rollup merge of #119216 - weiznich:use_diagnostic_namespace_in_stdlib, r=comp...Michael Goulet-3/+1
2024-01-05Rollup merge of #119538 - nnethercote:cleanup-errors-5, r=compiler-errorsMichael Goulet-5/+5
2024-01-05Allow emitting diagnostics from the `#[diagnostic]` namespace without aGeorg Semmler-3/+1
2024-01-04Silence redundant warning when E0038 will be emittedEsteban Küber-2/+2
2024-01-03Track `HirId` instead of `Span` in `ObligationCauseCode::SizedArgumentType`Esteban Küber-60/+76
2024-01-03Account for multiple trait bounds in bare trait object suggestionEsteban Küber-6/+34
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-5/+5
2023-12-28Movability doesn't need to be a query anymoreMichael Goulet-2/+2
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-39/+42
2023-12-26Auto merge of #118431 - sjwang05:issue-44695, r=estebankbors-108/+257
2023-12-26Auto merge of #119258 - compiler-errors:closure-kind, r=eholkbors-137/+102
2023-12-25Only regular coroutines have movabilityMichael Goulet-4/+4
2023-12-25Make closures carry their own ClosureKind, rather than deducing what it is fr...Michael Goulet-135/+100
2023-12-24Remove more `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-5/+5
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-65/+62
2023-12-22Rollup merge of #119198 - compiler-errors:desugaring, r=eholkMichael Goulet-31/+93
2023-12-23Improve some names.Nicholas Nethercote-1/+1
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-24/+24
2023-12-22Split coroutine desugaring kind from sourceMichael Goulet-31/+93
2023-12-22Auto merge of #118824 - aliemjay:perf-region-cons, r=compiler-errorsbors-1/+1
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-7/+2
2023-12-19Rollup merge of #119091 - compiler-errors:alias-eq-in-structural-normalize, r...Matthias Krüger-30/+31
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-21/+70
2023-12-18Use alias-eq in structural normalizationMichael Goulet-30/+31
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-4/+2
2023-12-17Rollup merge of #119022 - compiler-errors:no-constness, r=fee1-deadMatthias Krüger-15/+10
2023-12-17Auto merge of #119048 - aliemjay:perf-register-pred, r=compiler-errorsbors-2/+3
2023-12-17don't fold ParamEnv in register_predicate_obligationAli MJ Al-Nasrawy-2/+3
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-1/+1
2023-12-16Provide better suggestions for T == &T and &T == Tsjwang05-108/+257