about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/borrow_check
AgeCommit message (Expand)AuthorLines
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-23033/+0
2021-09-01Auto merge of #88272 - willcrichton:mutable-sparse-matrix, r=ecstatic-morsebors-2/+2
2021-08-31Concrete regions can show up in mir borrowck if the originated from there.Oli Scherer-9/+1
2021-08-29Rollup merge of #83251 - estebank:issue-83241, r=oli-obkGuillaume Gomez-8/+72
2021-08-29Auto merge of #88312 - jackh726:issue-87748, r=nikomatsakisbors-2/+17
2021-08-29Provide structured suggestion for removal of `&mut`Esteban Kuber-2/+20
2021-08-29Suggestion for call on immutable binding of mutable typeEsteban Küber-7/+53
2021-08-27Add `ty::BoundConstness`Deadbeef-2/+1
2021-08-27Auto merge of #88371 - Manishearth:rollup-pkkjsme, r=Manishearthbors-5/+37
2021-08-26Rollup merge of #88270 - lqd:hrtb-type-ascription, r=nikomatsakisManish Goregaokar-5/+37
2021-08-26Treat types in unnormalized function signatures as well-formedjackh726-2/+17
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-1/+1
2021-08-26make unevaluated const substs optionallcnr-4/+4
2021-08-24Review commentsjackh726-2/+2
2021-08-24Also ignore typeoutlives predicatesjackh726-0/+1
2021-08-24Normalize only after failurejackh726-36/+40
2021-08-24Normalize associated types with bound varsJack Huey-1/+31
2021-08-24Refactor BitSet relational methods into trait with parameterizedWill Crichton-2/+2
2021-08-23handle ascription type op in NLL HRTB diagnosticsRémy Rakic-5/+37
2021-08-22Fix more “a”/“an” typosFrank Steffahn-3/+3
2021-08-22Fix more “a”/“an” typosFrank Steffahn-1/+1
2021-08-22Fix typos “a”→“an”Frank Steffahn-10/+10
2021-08-20Require a box expression's type to be SizedAnton Golov-3/+1
2021-08-18Auto merge of #86700 - lqd:matthews-nll-hrtb-errors, r=nikomatsakisbors-174/+607
2021-08-18Auto merge of #87781 - est31:remove_box, r=oli-obkbors-2/+2
2021-08-18add fixme about the `type_op_normalize` query in NLL HRTB diagnosticsRémy Rakic-1/+7
2021-08-18Remove box syntax from rustc_mirest31-2/+2
2021-08-18Auto merge of #87738 - lqd:polonius-master, r=nikomatsakisbors-23/+24
2021-08-17Auto merge of #86977 - vakaras:body_with_borrowck_facts, r=nikomatsakisbors-17/+102
2021-08-16fix typo in bound_region_errors.rsRémy Rakic-1/+1
2021-08-15De-dupe NLL HRTB diagnostics' use of `type_op_prove_predicate`Rémy Rakic-12/+3
2021-08-15don't derive `Copy` for `RegionElement`Rémy Rakic-4/+8
2021-08-15Slight cleanupRémy Rakic-4/+1
2021-08-15Fix dyn trait warningRémy Rakic-2/+2
2021-08-15Report nicer errors for HRTB NLL errors from queriesMatthew Jasper-18/+234
2021-08-15Report mismatched type errors for bound region errors in NLLMatthew Jasper-12/+35
2021-08-15Track causes for universes created during borrowckMatthew Jasper-128/+328
2021-08-15Simplify BoundUniversalRegionErrorMatthew Jasper-8/+8
2021-08-15Return the canonicalized query from type opsMatthew Jasper-9/+15
2021-08-15Remove unused Option from NllTypeRelatingDelegateMatthew Jasper-26/+16
2021-08-14Auto merge of #87375 - fee1-dead:move-constness-to-traitpred, r=oli-obkbors-6/+7
2021-08-13Try to fix problemDeadbeef-2/+3
2021-08-13move Constness into TraitPredicateDeadbeef-4/+4
2021-08-12Avoid ICE caused by suggestionEsteban Küber-7/+12
2021-08-06Store the `DefId` of the currently typechecked item in `InferCtxt`Oli Scherer-2/+1
2021-08-06Immediately register new opaque types in the global list.Oli Scherer-68/+58
2021-08-06Remove Option only used as its Some variantOli Scherer-23/+18
2021-08-03make the hybrid variant the default polonius algorithmRémy Rakic-1/+1
2021-08-03update polonius-engine to 0.13Rémy Rakic-22/+23
2021-08-02Auto merge of #87628 - estebank:unmet-explicit-lifetime-bound, r=oli-obkbors-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 00:36:29 +0000