summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2021-11-22Use `derive_default_enum` in the compilerJacob Pratt-7/+2
2021-11-21Simplify for loop desugarCameron Steffen-6/+18
2021-11-21Auto merge of #91104 - matthiaskrgr:rollup-duk33o1, r=matthiaskrgrbors-6/+18
2021-11-21Auto merge of #89580 - estebank:trait-bounds-are-tricky, r=nagisabors-5/+16
2021-11-20Fix for issue 91058Michael Goulet-4/+16
2021-11-20Use same_type_modulo_infer in more placesMichael Goulet-2/+2
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-5/+16
2021-11-20Suggest await on cases involving inferMichael Goulet-3/+31
2021-11-17Rollup merge of #90667 - rukai:improve_static_lifetime_diagnostics, r=estebankMatthias Krüger-41/+24
2021-11-16Fix await suggestion betterMichael Goulet-19/+26
2021-11-14Improve diagnostics when a static lifetime is expectedLucas Kent-41/+24
2021-11-11Use `associated_item_def_ids` moreMatthew Jasper-7/+1
2021-11-11Remove unused field of `RegionVariableOrigin`Matthew Jasper-3/+3
2021-11-11Auto merge of #90648 - matthewjasper:assoc-item-cleanup, r=cjgillotbors-44/+23
2021-11-09Rollup merge of #89561 - nbdd0121:const_typeck, r=nikomatsakisMatthias Krüger-4/+4
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-2/+2
2021-11-07more clippy fixesMatthias Krüger-1/+1
2021-11-07Remove some fields from `ObligationCauseCode`Matthew Jasper-44/+23
2021-11-07Rename functions reflect that inline const is also "typeck_child"Gary Guo-4/+4
2021-11-06Auto merge of #89970 - jackh726:gats_diagnostics, r=nikomatsakisbors-3/+18
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-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-22nice_region_error: Include lifetime placeholders in error outputMichael Howell-11/+48
2021-10-21Rollup merge of #90071 - cjgillot:no-blocks, r=oli-obkYuki Okushi-3/+2
2021-10-19Replace FnLikeNode by FnKind.Camille GILLOT-3/+2
2021-10-19Auto merge of #89933 - est31:let_else, r=michaelwoeristerbors-3/+1
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-3/+219
2021-10-16Adopt let_else across the compilerest31-3/+1
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-3/+219
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