about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-26do not register infer var for GAT projection in opaqueMichael Goulet-7/+9
2022-01-25Auto merge of #93095 - Aaron1011:remove-assoc-ident, r=cjgillotbors-4/+4
2022-01-21Remove a span from hir::ExprKind::MethodCallCameron Steffen-5/+5
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-4/+4
2022-01-19Simplify error reporting code, remove await point wordingTyler Mandry-131/+33
2022-01-19NiceRegionError: Use written return type for async fnTyler Mandry-25/+34
2022-01-19Properly account for binders in get_impl_future_output_tyTyler Mandry-11/+18
2022-01-18Auto merge of #87648 - JulianKnodt:const_eq_constrain, r=oli-obkbors-6/+7
2022-01-18Rollup merge of #92640 - compiler-errors:array-deref-on-newtype, r=lcnrMatthias Krüger-6/+3
2022-01-17Add term to ExistentialProjectionkadmin-6/+2
2022-01-17Update term for use in more placeskadmin-8/+3
2022-01-17Use Term in ProjectionPredicatekadmin-9/+19
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