summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2022-01-03Suggest changing quotes when str/char type mismatchchordtoll-3/+38
2021-12-29Refactor variance diagnostics to work with more typesAaron Hill-2/+3
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-26/+26
2021-12-19Rollup merge of #91878 - LegionMammal978:less-inband-infer, r=Aaron1011Matthias Krüger-39/+39
2021-12-19Auto merge of #91957 - nnethercote:rm-SymbolStr, r=oli-obkbors-2/+1
2021-12-18Rollup merge of #92022 - woodenarrow:br_expected_bool, r=estebankMatthias Krüger-4/+4
2021-12-17Eliminate duplicate codes of expected_found_boollzh-4/+4
2021-12-17Fix typo in "new region bound" suggestionEsteban Kuber-1/+1
2021-12-15Remove unnecessary sigils around `Symbol::as_str()` calls.Nicholas Nethercote-2/+1
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-39/+39
2021-12-13Instead of checking for exact bounds, try to prove themJack Huey-2/+2
2021-12-11Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obkbors-3/+36
2021-12-11Auto merge of #91799 - matthiaskrgr:rollup-b38xx6i, r=matthiaskrgrbors-49/+130
2021-12-11Rollup merge of #91640 - cjgillot:in-band-collect, r=oli-obkMatthias Krüger-24/+18
2021-12-11Tweak assoc type obligation spansEsteban Kuber-3/+36
2021-12-10fmtEsteban Kuber-16/+17
2021-12-10review commentEsteban Kuber-3/+3
2021-12-10Remove field from `ErrorValue`Esteban Kuber-12/+12
2021-12-10Review commentsEsteban Kuber-10/+12
2021-12-10Tweak wordingEsteban Kuber-3/+3
2021-12-10Use a more accurate `Span` for `'static` obligation from return typeEsteban Kuber-5/+23
2021-12-10Point at return type when it introduces `'static` obligationEsteban Kuber-0/+20
2021-12-10Add filtering based on involved required lifetimeEsteban Kuber-17/+20
2021-12-10review commentsEsteban Kuber-21/+29
2021-12-10Clean up visual output logicEsteban Kuber-71/+21
2021-12-10Point at capture points for non-`'static` reference crossing a `yield` pointEsteban Kuber-16/+95
2021-12-08Rollup merge of #90709 - estebank:erase-known-type-params, r=nagisaMatthias Krüger-6/+131
2021-12-07Simplify match.Camille GILLOT-25/+15
2021-12-07Store impl_trait_fn inside OpaqueTyOrigin.Camille GILLOT-10/+14
2021-12-07Rollup merge of #91493 - oli-obk:cleanup, r=michaelwoeristerMatthias Krüger-5/+8
2021-12-07Add test with multiple type params failing inferenceEsteban Kuber-3/+1
2021-12-07Refer to const params as "const params" and not "type params"Esteban Kuber-36/+46
2021-12-07Refer to uninferred `const` params by their name, instead of `{ _: _ }`Esteban Kuber-6/+25
2021-12-07Only shown relevant type params in E0283 labelEsteban Kuber-1/+99
2021-12-05Rollup merge of #90023 - b-naber:postpone_const_eval_infer_vars, r=nikomatsakisMatthias Krüger-30/+85
2021-12-03Remove a code path that is neither documented nor can I see the reason it exi...Oli Scherer-5/+8
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-2/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-202/+189
2021-11-28Take a LocalDefId in expect_*item.Camille GILLOT-1/+1
2021-11-26Use `TypeFolder::Error` for `FullTypeResolver` and `QueryNormalizer`LeSeulArtichaut-21/+7
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-107/+111
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-88/+101
2021-11-22Use `derive_default_enum` in the compilerJacob Pratt-7/+2
2021-11-21Simplify for loop desugarCameron Steffen-6/+18
2021-11-21Auto merge of #91104 - matthiaskrgr:rollup-duk33o1, r=matthiaskrgrbors-6/+18
2021-11-21Auto merge of #89580 - estebank:trait-bounds-are-tricky, r=nagisabors-5/+16
2021-11-20Fix for issue 91058Michael Goulet-4/+16
2021-11-20Use same_type_modulo_infer in more placesMichael Goulet-2/+2
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-5/+16
2021-11-20Suggest await on cases involving inferMichael Goulet-3/+31
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-08 13:23:06 +0000