about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2021-10-10Auto merge of #89633 - rhysd:issue-65230, r=petrochenkovbors-2/+12
2021-10-08clippy::complexity fixesMatthias Krüger-2/+2
2021-10-09Show detailed expected/found types in error message when trait paths are the ...rhysd-2/+12
2021-10-07Auto merge of #89495 - Mark-Simulacrum:add-inlines, r=michaelwoeristerbors-0/+1
2021-10-03Add two inline annotations for hot functionsMark Rousskov-0/+1
2021-10-02Make diangostic item names consistentCameron Steffen-1/+1
2021-09-28More tracing instrumentationOli Scherer-41/+34
2021-09-27Improve cause information for NLL higher-ranked errorsAaron Hill-2/+11
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-7/+11
2021-09-24Auto merge of #89211 - workingjubilee:rollup-fj4eduk, r=workingjubileebors-1/+1
2021-09-23Auto merge of #88804 - Mark-Simulacrum:never-algo-v2, r=nikomatsakis,jackh726bors-57/+29
2021-09-23Update compiler/rustc_infer/src/infer/error_reporting/mod.rsTakayuki Maeda-1/+1
2021-09-23change singular to pluralTakayuki Maeda-1/+1
2021-09-21Auto merge of #89103 - Mark-Simulacrum:migrate-2021, r=estebankbors-1/+1
2021-09-20Remove Drop-caused migration-added capturesMark Rousskov-16/+16
2021-09-20Migrate to 2021Mark Rousskov-1/+1
2021-09-20Add a doc comment to infer_projectionOli Scherer-0/+6
2021-09-20Add helper function to `InferCtxt` that generates inference vars for unresolv...Oli Scherer-0/+34
2021-09-20Enable 2021 compatibility lints for all in-tree codeMark Rousskov-16/+16
2021-09-18Auto merge of #89000 - Mark-Simulacrum:no-new-lrc, r=petrochenkovbors-2/+2
2021-09-17Add another case of fallback to () avoid breakageMark Rousskov-0/+3
2021-09-17stop categorizing inference variables as diverging when createdNiko Matsakis-62/+16
2021-09-17remove diverging type variables from fn checkNiko Matsakis-1/+5
2021-09-17introduce new fallback algorithmNiko Matsakis-1/+12
2021-09-17Auto merge of #88945 - Aaron1011:no-projection-completion, r=wesleywiser,jack...bors-41/+0
2021-09-17Make diagnostics clearer for `?` operatorsYuki Okushi-3/+16
2021-09-16Auto merge of #88719 - estebank:point-at-arg-for-obligation, r=nagisabors-6/+8
2021-09-16Refactor `FulfillmentError` to track less dataEsteban Kuber-6/+8
2021-09-15Reuse existing shared Lrc for MatchImpl parentMark Rousskov-2/+2
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-7/+11
2021-09-15Move object safety suggestions to the end of the errorEsteban Kuber-4/+8
2021-09-14Remove concept of 'completion' from the projection cacheAaron Hill-41/+0
2021-09-12Rollup merge of #88336 - jackh726:gats-where-constraints, r=estebankManish Goregaokar-30/+97
2021-09-11Rollup merge of #88850 - matthiaskrgr:identical_conv, r=jackh726Jubilee-1/+1
2021-09-11don't convert types into identical typesMatthias Krüger-1/+1
2021-09-11don't clone types that are Copy (clippy::clone_on_copy)Matthias Krüger-3/+3
2021-09-07Fix duplicate errorjackh726-0/+1
2021-09-07Detect stricter constraints on gats where clauses in impls vs traitjackh726-30/+96
2021-09-06Use index newtyping for TyVidMark Rousskov-10/+10
2021-09-03Auto merge of #88363 - michaelwoerister:remapped-diagnostics, r=estebankbors-6/+3
2021-08-30Enforce diverging let...elseCameron Steffen-0/+5
2021-08-30`feature(const_generics)` -> `feature(const_param_types)`lcnr-1/+1
2021-08-30remove lazy_normalization_constsEllen-1/+1
2021-08-27Path remapping: Make behavior of diagnostics output dependent on presence of ...Michael Woerister-6/+3
2021-08-26reviewlcnr-1/+1
2021-08-26shrink `ty::PredicateKind` againlcnr-2/+2
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-4/+1
2021-08-26don't just compare `ty::Const`lcnr-0/+2
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-2/+2
2021-08-26add `tcx` to `fn walk`lcnr-2/+2