about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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
2024-02-17use `instantiate_ty_var` in nlllcnr-192/+47
2024-02-17move ty var instantiation into the generalize modulelcnr-211/+233
2024-02-17add fixmelcnr-0/+3
2024-02-17rename `needs_wf` and clarify commentlcnr-54/+56
2024-02-16NitsMichael Goulet-0/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-8/+8
2024-02-16Use extension trait deriveMichael Goulet-50/+12
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-3/+3
2024-02-15Remove a suggestion that is redundantMichael Goulet-13/+0
2024-02-15Only point out non-diverging arms for match suggestionsMichael Goulet-9/+15
2024-02-15errors: only eagerly translate subdiagnosticsDavid Wood-19/+20
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-15/+13
2024-02-14Auto merge of #120454 - clubby789:cargo-update, r=Nilstriebbors-1/+2
2024-02-13Rollup merge of #121002 - lcnr:cleanup-commit_if_ok, r=oli-obkMatthias Krüger-62/+52
2024-02-13Bump `indexmap`clubby789-1/+2
2024-02-13Rollup merge of #120959 - nnethercote:rm-good_path, r=oli-obkMatthias Krüger-14/+0
2024-02-13remove questionable calls to `commit_if_ok`lcnr-62/+52
2024-02-13also try to normalize opaque types in alias-relatelcnr-0/+6
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-84/+90
2024-02-13Remove `TypeErrCtxt::drop`.Nicholas Nethercote-14/+0
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-3/+3
2024-02-12Tweak delayed bug mentions.Nicholas Nethercote-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-84/+90
2024-02-11Rollup merge of #120872 - petrochenkov:opthirpar, r=cjgillotMatthias Krüger-24/+23
2024-02-10Rollup merge of #120870 - Zalathar:allow-min-spec, r=oli-obkMatthias Krüger-1/+1