about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-2/+2
2024-01-23Rename `LintLevelsBuilder::struct_lint` as `LintLevelsBuilder::opt_span_lint`.Nicholas Nethercote-1/+1
2024-01-19use implied bounds compat mode in MIR borrowcklcnr-2/+10
2024-01-17Don't use compat versions of implied bounds in ImpliedOutlivesBounds queryJack Huey-2/+2
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-3/+17
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-95/+191
2024-01-17Auto merge of #120019 - lcnr:fn-wf, r=BoxyUwUbors-22/+49
2024-01-16Rollup merge of #119816 - oli-obk:tait_ice_unify_obligations, r=lcnrMatthias Krüger-1/+1
2024-01-16try fast path for wf type opsAli MJ Al-Nasrawy-0/+17
2024-01-16wf-check type annotations before normalizationAli MJ Al-Nasrawy-22/+32
2024-01-15Rollup merge of #119963 - clubby789:spec-allow-internal-unstable, r=compiler-...Matthias Krüger-3/+23
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-51/+47
2024-01-14`allow_internal_unstable(min_specialization)` on `newtype_index`clubby789-13/+19
2024-01-14Fix `allow_internal_unstable` for `(min_)specialization`clubby789-3/+17
2024-01-14Auto merge of #119361 - sjwang05:issue-119352, r=WaffleLapkinbors-0/+8
2024-01-14Auto merge of #119934 - compiler-errors:could-impl, r=jackh726bors-0/+5
2024-01-13assert that trait solver is only created in proper infcxMichael Goulet-0/+5
2024-01-13Auto merge of #119088 - George-lewis:glewis/suggest-upgrading-compiler, r=Nil...bors-26/+17
2024-01-13Add check for ui_testing via promoting parameters from `ParseSess` to `Session`George-lewis-26/+17
2024-01-13Rollup merge of #119898 - compiler-errors:error-reporting, r=oli-obkMatthias Krüger-10/+3
2024-01-13Rollup merge of #119891 - lcnr:rename-field, r=compiler-errorsMatthias Krüger-3/+1
2024-01-12Fix ICE when suggesting dereferencing binop operandssjwang05-0/+8
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-10/+3
2024-01-12OutputTypeParameterMismatch -> SignatureMismatchMichael Goulet-20/+17
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-31/+30
2024-01-12rename `reported_signature_mismatch` to reflect its uselcnr-3/+1
2024-01-12Rollup merge of #119817 - compiler-errors:normalize-opaques, r=lcnrGuillaume Gomez-2/+1
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