about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2021-11-06Auto merge of #89970 - jackh726:gats_diagnostics, r=nikomatsakisbors-3/+18
2021-11-05resolve variables before erasing lifetimesb-naber-4/+5
2021-11-05postpone evaluation of constants whose substs depend on inference vars or reg...b-naber-3/+17
2021-11-03Add beginner friendly lifetime elision hint to E0623Nilstrieb-8/+86
2021-10-30Rollup merge of #90395 - b-naber:const-expr-type-relation, r=oli-obkMatthias Krüger-9/+20
2021-10-29don't mutably borrow inner infcx in all of ConstInferUnifier::constsb-naber-9/+20
2021-10-29Auto merge of #90380 - Mark-Simulacrum:revert-89558-query-stable-lint, r=lcnrbors-1/+0
2021-10-28Revert "Add rustc lint, warning when iterating over hashmaps"Mark Rousskov-1/+0
2021-10-28Move instantiate_opaque_types to rustc_infer.Oli Scherer-2/+278
2021-10-28Move some functions into `rustc_infer`.Oli Scherer-1/+315
2021-10-24Rollup merge of #89558 - lcnr:query-stable-lint, r=estebankMatthias Krüger-0/+1
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-16Change outlives clause checking algorithmjackh726-3/+18
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-15allow `potential_query_instability` everywherelcnr-0/+1
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