about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2021-10-23Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakisbors-1/+19
2021-10-22nice_region_error: Include lifetime placeholders in error outputMichael Howell-11/+48
2021-10-22Document flip polaritySantiago Pastorino-0/+3
2021-10-21Rollup merge of #90071 - cjgillot:no-blocks, r=oli-obkYuki Okushi-3/+2
2021-10-20Add TraitObligation::polarity() for better encapsulationSantiago Pastorino-0/+4
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-1/+12
2021-10-19Replace FnLikeNode by FnKind.Camille GILLOT-3/+2
2021-10-19Auto merge of #89933 - est31:let_else, r=michaelwoeristerbors-3/+2
2021-10-18Auto merge of #89229 - oli-obk:i_love_inferctxt, r=jackh726bors-213/+9
2021-10-18Member constraints already covered all of E0482 already, so that error never ...Oli Scherer-24/+0
2021-10-18Remove unused enum variantOli Scherer-24/+1
2021-10-18Remove regionck member constraint handling and leave it to mir borrowckOli Scherer-162/+1
2021-10-16Rollup merge of #89915 - jackh726:outlives_cleanup, r=nikomatsakisMatthias Krüger-5/+221
2021-10-16Adopt let_else across the compilerest31-3/+2
2021-10-15Document the new logicOli Scherer-0/+5
2021-10-15Remove a now-unused traitOli Scherer-23/+0
2021-10-15Equality of regions is not just on identity, but if both regions outlive each...Oli Scherer-1/+9
2021-10-15Normalize regions before comparing them for member constraintsOli Scherer-7/+17
2021-10-15Add some more instrumentationOli Scherer-9/+13
2021-10-15Move push_outlives_components to rustc_inferjackh726-5/+221
2021-10-15Emit impl difference error for GenericBoundFailure toojackh726-1/+3
2021-10-13Re-use logic for adding a suggestion when a lifetime bound is missing on an i...Oli Scherer-89/+134
2021-10-13Use a label instead of a note for member constraint errorsOli Scherer-3/+19
2021-10-13Remove textual span from diagnostic stringOli Scherer-57/+10
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