about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-01-16Only suggest char literal for single-character stringschordtoll-1/+1
2022-01-16Replace NestedVisitorMap with NestedFilterCameron Steffen-22/+18
2022-01-16Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakisMatthias Krüger-5/+16
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-63/+28
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-15/+8
2022-01-15Return a LocalDefId in get_parent_item.Camille GILLOT-7/+8
2022-01-15Rollup merge of #92743 - bjorn3:less_symbol_intern, r=camelidMatthias Krüger-4/+4
2022-01-15Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakisMatthias Krüger-1/+1
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-6/+3
2022-01-15initial revertEllen-66/+34
2022-01-14Rollup merge of #92045 - oli-obk:cleanup, r=petrochenkovMatthias Krüger-32/+36
2022-01-13Rollup merge of #92006 - oli-obk:welcome_opaque_types_into_the_fold, r=nikoma...Matthias Krüger-4/+16
2022-01-12Canonicalize const variables correctlyMichael Goulet-6/+3
2022-01-12Don't fall back to crate-level opaque type definitions.Oli Scherer-32/+36
2022-01-11Auto merge of #92533 - Aaron1011:variant-symbol, r=petrochenkovbors-1/+1
2022-01-11Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef`Aaron Hill-1/+1
2022-01-10Use pre-interned symbols in a couple of placesbjorn3-4/+4
2022-01-10Elaborate param_env predicates when checking if type outlives involving proje...Jack Huey-5/+16
2022-01-09eplace usages of vec![].into_iter with [].into_iterLucas Kent-8/+5
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-22When obligation is a sized predicate, prefer projection or object candidates ...Jack Huey-1/+1
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-27/+27
2021-12-19Rollup merge of #91878 - LegionMammal978:less-inband-infer, r=Aaron1011Matthias Krüger-49/+48
2021-12-19Auto merge of #91957 - nnethercote:rm-SymbolStr, r=oli-obkbors-2/+1
2021-12-18Re-introduce concept of projection cache 'completion'Aaron Hill-3/+69
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-16Eagerly instantiate opaque typesOli Scherer-6/+4
2021-12-16Remove some noise from opaque type errors around associated typesOli Scherer-0/+14
2021-12-15Remove unnecessary sigils around `Symbol::as_str()` calls.Nicholas Nethercote-2/+1
2021-12-14Stabilize iter::zip.PFPoitras-1/+0
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-49/+48
2021-12-13Instead of checking for exact bounds, try to prove themJack Huey-2/+2
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-24/+16
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 03:41:27 +0000