about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-6/+10
2024-02-29renaming test casesyukang-6/+6
2024-02-28Improve error messages for generics with default parametersVeera-4/+17
2024-02-29Suggest removing superfluous semicolos when statements used as expressionsyukang-0/+97
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-16/+0
2024-02-29Rollup merge of #121743 - compiler-errors:opportunistically-resolve-regions, ...Matthias Krüger-1/+9
2024-02-28Opportunistically resolve regions when processing region outlives obligationsMichael Goulet-1/+9
2024-02-28Rename `DiagnosticStyledString` as `DiagStyledString`.Nicholas Nethercote-42/+35
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-11/+11
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-103/+86
2024-02-27when defining opaques, require the hidden type to be well-formedlcnr-1/+18
2024-02-27Avoid a `span_delayed_bug` in `TypeErrCtxt::report_region_errors`.Nicholas Nethercote-31/+31
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-31/+151
2024-02-24Auto merge of #121549 - matthiaskrgr:rollup-1hvu3lb, r=matthiaskrgrbors-0/+8
2024-02-24Rollup merge of #121435 - estebank:rpitit-static-119773, r=compiler-errorsMatthias Krüger-0/+8
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-1/+1
2024-02-23Auto merge of #121491 - matthiaskrgr:rollup-wkzqawy, r=matthiaskrgrbors-18/+24
2024-02-23Auto merge of #121442 - lcnr:region-var-universe-uwu, r=compiler-errorsbors-52/+85
2024-02-23Rollup merge of #121479 - lcnr:fix-generalize, r=compiler-errorsMatthias Krüger-18/+24
2024-02-22fix CIlcnr-2/+2
2024-02-22woops, soundly generalizing is hardlcnr-18/+24
2024-02-22Account for RPITIT in E0310 explicit lifetime constraint suggestionEsteban Küber-0/+8
2024-02-22region unification update universe of region varslcnr-52/+85
2024-02-22freshen: resolve root varslcnr-67/+69
2024-02-22remove `sub_relations` from infcx, recompute in diagnosticslcnr-144/+115
2024-02-21Rollup merge of #121206 - nnethercote:top-level-error-handling, r=oli-obkMatthias Krüger-3/+6
2024-02-22Adjust the `has_errors*` methods.Nicholas Nethercote-3/+6
2024-02-21Inline NllTypeRelating into its only usage siteMichael Goulet-576/+5
2024-02-21Make TypeRelating more NLL-specificMichael Goulet-9/+9
2024-02-21Yeet QueryTypeRelatingDelegateMichael Goulet-102/+18
2024-02-21Rollup merge of #121359 - lcnr:typesystem-cleanup, r=compiler-errorsLeón Orell Valerian Liehr-64/+83
2024-02-21Rollup merge of #121328 - ffmancera:ff/verbose_long_type, r=compiler-errorsDylan DPC-0/+1
2024-02-21Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnrDylan DPC-5/+3
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-3/+7
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-11/+5
2024-02-20Suggest using --verbose when writing type to a fileFernando Fernandez Mancera-0/+1
2024-02-20some type system cleanuplcnr-64/+83
2024-02-20Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obkMatthias Krüger-3/+3
2024-02-20Expand weak alias types before collecting constrained and referenced late bou...León Orell Valerian Liehr-3/+3
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-53/+105
2024-02-20Rollup merge of #121319 - compiler-errors:err, r=oli-obkNilstrieb-0/+5
2024-02-20Rollup merge of #121307 - estebank:drive-by, r=compiler-errorsNilstrieb-1/+1
2024-02-20Reduce capabilities of `Diagnostic`.Nicholas Nethercote-13/+57
2024-02-19return ty::Error when equating ty::ErrorMichael Goulet-0/+5
2024-02-19Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwUbors-526/+334
2024-02-19Drive-by `DUMMY_SP` -> `Span` and fmt changesEsteban Küber-1/+1
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-40/+48
2024-02-18By tracking import use types to check whether it is scope uses or the other s...surechen-1/+1
2024-02-17Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercoteMatthias Krüger-19/+20
2024-02-17yeet `GeneralizerDelegate`lcnr-126/+52