summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2021-11-29Don't treat unnormalized function arguments as well-formedjackh726-4/+2
2021-11-25Fix issue 91206Michael Goulet-10/+14
2021-11-24Auto merge of #90491 - Mark-Simulacrum:push-pred-faster, r=matthewjasperbors-28/+40
2021-11-21Simplify for loop desugarCameron Steffen-19/+30
2021-11-16Rollup merge of #90801 - b-naber:missing_normalization_equate_inputs_output, ...Yuki Okushi-24/+41
2021-11-15Stabilize format_args_captureJosh Triplett-1/+1
2021-11-11normalize argument b in equate_normalized_inputs_outputb-naber-24/+41
2021-11-09Rollup merge of #89561 - nbdd0121:const_typeck, r=nikomatsakisMatthias Krüger-46/+150
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-1/+1
2021-11-07more clippy fixesMatthias Krüger-1/+1
2021-11-07Rename functions reflect that inline const is also "typeck_child"Gary Guo-37/+27
2021-11-07Ensure closure requirements are proven for inline constGary Guo-5/+79
2021-11-07Implement type inference for inline constsGary Guo-13/+53
2021-11-06use matches!() macro in more placesMatthias Krüger-19/+10
2021-11-03Optimize live point computationMark Rousskov-28/+40
2021-10-29Auto merge of #90380 - Mark-Simulacrum:revert-89558-query-stable-lint, r=lcnrbors-1/+0
2021-10-28Auto merge of #90387 - matthiaskrgr:rollup-b2x8v0x, r=matthiaskrgrbors-1/+0
2021-10-28Auto merge of #90281 - xldenis:public-borrow-set, r=nikomatsakisbors-14/+14
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-1/+0
2021-10-25Add BorrowSet to public apiXavier Denis-14/+14
2021-10-25Auto merge of #90042 - pietroalbini:1.56-master, r=Mark-Simulacrumbors-1/+0
2021-10-24Rollup merge of #89558 - lcnr:query-stable-lint, r=estebankMatthias Krüger-0/+1
2021-10-23update cfg(bootstrap)Pietro Albini-1/+0
2021-10-23Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakisbors-0/+1
2021-10-22Rollup merge of #89895 - camsteffen:for-loop-head-span, r=davidtwcoYuki Okushi-40/+41
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+1
2021-10-19Auto merge of #89933 - est31:let_else, r=michaelwoeristerbors-6/+3
2021-10-18Auto merge of #89229 - oli-obk:i_love_inferctxt, r=jackh726bors-45/+14
2021-10-17Fix ICE with `let...else` and `ref mut`Yuki Okushi-8/+8
2021-10-16Adopt let_else across the compilerest31-6/+3
2021-10-15Remove a now-unused traitOli Scherer-21/+1
2021-10-15simplify constrain_opaque_typesNiko Matsakis-24/+13
2021-10-15Don't mark for loop head span with desugaringCameron Steffen-40/+41
2021-10-15allow `potential_query_instability` everywherelcnr-0/+1
2021-10-14Auto merge of #88698 - Noble-Mushtak:master, r=nikomatsakis,oli-obkbors-16/+23
2021-10-11Rollup merge of #89675 - oli-obk:type_checker, r=davidtwcoMatthias Krüger-81/+53
2021-10-08Rollup merge of #89649 - matthiaskrgr:clippycompl, r=jyn514Guillaume Gomez-3/+2
2021-10-08clippy::complexity fixesMatthias Krüger-3/+2
2021-10-08Directly call relate_types function instead of having a method wrapperOli Scherer-37/+26
2021-10-08Re-use TypeChecker instead of passing around some of its fieldsOli Scherer-48/+31
2021-10-07Add check that region is live in sanitize_promotedNoble-Mushtak-16/+23
2021-10-07Rollup merge of #89615 - willcrichton:fix-get-body-with-borrowck-facts, r=oli...Guillaume Gomez-1/+1
2021-10-06Add InferCtxt::with_opaque_type_inference to get_body_with_borrowck_factsWill Crichton-1/+1
2021-10-05Note specific regions involved in 'borrowed data escapes' errorAaron Hill-0/+21
2021-10-04Rollup merge of #89504 - Aaron1011:rpit-nll-static, r=nikomatsakisManish Goregaokar-3/+1
2021-10-04Rollup merge of #89508 - jhpratt:stabilize-const_panic, r=joshtriplettJubilee-1/+1
2021-10-04Stabilize `const_panic`Jacob Pratt-1/+1
2021-10-03Rollup merge of #88481 - bjorn3:remove_feature_gates, r=cjgillotManish Goregaokar-2/+2
2021-10-03Don't suggest replacing region with 'static in NLLAaron Hill-3/+1