about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2024-01-18Rollup merge of #120021 - lcnr:const-var-value, r=compiler-errorsMatthias Krüger-146/+60
2024-01-17Auto merge of #119922 - nnethercote:fix-Diag-code-is_lint, r=oli-obkbors-2/+2
2024-01-16Auto merge of #119947 - compiler-errors:old-solver-instantiate-response, r=lcnrbors-4/+12
2024-01-16don't store const var origins for known varslcnr-146/+60
2024-01-15Rollup merge of #119818 - oli-obk:even_more_follow_up_errors3, r=compiler-errorsMatthias Krüger-7/+0
2024-01-14Rework how diagnostic lints are stored.Nicholas Nethercote-2/+2
2024-01-13Make sure to instantiate placeholders correctly in old solverMichael Goulet-4/+12
2024-01-12rename `reported_signature_mismatch` to reflect its uselcnr-3/+3
2024-01-11Keep error types around, even in obligations.Oli Scherer-7/+0
2024-01-11Rollup merge of #118915 - compiler-errors:alias-nits, r=lcnrMatthias Krüger-8/+7
2024-01-10Simplify some redundant namesMichael Goulet-8/+7
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-1/+1
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-21/+14
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-3/+3
2024-01-09Auto merge of #118968 - aliemjay:canon-static, r=lcnrbors-56/+27
2024-01-08Remove `DiagnosticBuilder::delay_as_bug_without_consuming`.Nicholas Nethercote-2/+2
2024-01-08Remove all eight `DiagnosticBuilder::*_with_code` methods.Nicholas Nethercote-9/+9
2024-01-08Use chaining in `DiagnosticBuilder` construction.Nicholas Nethercote-3/+2
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-3/+3
2024-01-01Minor improvements in comment forGurinder Singh-2/+2
2023-12-30Auto merge of #116012 - cjgillot:gvn-const, r=oli-obkbors-1/+4
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-2/+2
2023-12-27Remove dead codesr01and-17/+2
2023-12-26Auto merge of #119129 - jyn514:verbose, r=compiler-errors,estebankbors-19/+23
2023-12-24don't elide shared parts of types in diagnostics when `--verbose` is passedjyn-19/+23
2023-12-24Avoid stack overflow in generalizer.Camille GILLOT-1/+4
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-38/+48
2023-12-24Remove `ParseSess` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-29/+23
2023-12-22Auto merge of #118824 - aliemjay:perf-region-cons, r=compiler-errorsbors-20/+21
2023-12-22Auto merge of #119097 - nnethercote:fix-EmissionGuarantee, r=compiler-errorsbors-39/+28
2023-12-20Rollup merge of #119107 - lcnr:uwuwu, r=compiler-errorsMatthias Krüger-12/+3
2023-12-20Auto merge of #119096 - compiler-errors:yeet-unnecessary-param-envs, r=lcnrbors-63/+34
2023-12-19Auto merge of #119084 - aliemjay:perf-env-bounds, r=compiler-errorsbors-2/+12
2023-12-19rename to verbose-internalsjyn-3/+3
2023-12-19Remove param env from relation altogetherMichael Goulet-32/+22
2023-12-19fast path for declared_generic_bounds_from_envAli MJ Al-Nasrawy-2/+12
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-34/+15
2023-12-19subtype_predicate: remove unnecessary probelcnr-12/+3
2023-12-18Use `.into_diagnostic()` less.Nicholas Nethercote-39/+28
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-12/+12
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-20/+21
2023-12-15Rollup merge of #119004 - matthiaskrgr:conv, r=compiler-errorsJubilee-7/+2
2023-12-15NFC don't convert types to identical typesMatthias Krüger-7/+2
2023-12-15Rollup merge of #118396 - compiler-errors:ast-lang-items, r=cjgillotJubilee-18/+8
2023-12-15Move nll_relate to relate::nll submoduleMichael Goulet-5/+5
2023-12-15Add higher_ranked to relate submoduleMichael Goulet-8/+8
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-41/+42
2023-12-15banish hir::GenericBound::LangItemTraitMichael Goulet-18/+8