summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2021-11-25Visit `param_env` field in Obligation's `TypeFoldable` implAaron Hill-1/+2
2021-11-22Use `derive_default_enum` in the compilerJacob Pratt-7/+3
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 #90884 - Nilstrieb:fix-span-trivial-trait-bound, r=estebankMatthias Krüger-0/+17
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-14Fix span for non-satisfied trivial trait boundsNilstrieb-0/+17
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-47/+25
2021-11-09Rollup merge of #89561 - nbdd0121:const_typeck, r=nikomatsakisMatthias Krüger-4/+4
2021-11-08fmtDeadbeef-8/+3
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-6/+6
2021-11-07more clippy fixesMatthias Krüger-1/+1
2021-11-07Remove some fields from `ObligationCauseCode`Matthew Jasper-47/+25
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-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