about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
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-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
2021-10-03Replace Fn impls with RPIT impls in rustc_indexbjorn3-2/+2
2021-10-02Make diangostic item names consistentCameron Steffen-4/+4
2021-10-01Fix clippy lintsGuillaume Gomez-12/+12
2021-09-30Rollup merge of #89327 - oli-obk:nll_diag_infer_vars, r=wesleywiserManish Goregaokar-1/+16
2021-09-30Auto merge of #87998 - nneonneo:master, r=oli-obkbors-28/+80
2021-09-28Pick one possible lifetime in case there are multiple choicesOli Scherer-1/+16
2021-09-28More tracing instrumentationOli Scherer-98/+78
2021-09-27Remove `DefId` from `ConstraintCategory::Predicate`Aaron Hill-8/+16
2021-09-27Improve cause information for NLL higher-ranked errorsAaron Hill-74/+137
2021-09-25Auto merge of #89030 - nbdd0121:box2, r=jonas-schievinkbors-9/+6
2021-09-25Introduce `Rvalue::ShallowInitBox`Gary Guo-9/+6
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-5/+9
2021-09-23Check that TAIT generics are fully generic in mir typeck instead of wf-check,...Oli Scherer-11/+116
2021-09-20Auto merge of #88708 - Aaron1011:aggregate-usage, r=oli-obkbors-0/+14
2021-09-18Auto merge of #88980 - tmiasko:instrument-debug, r=oli-obkbors-1/+1
2021-09-17Rollup merge of #87460 - FabianWolff:issue-87456, r=Aaron1011Guillaume Gomez-4/+8
2021-09-16Auto merge of #88719 - estebank:point-at-arg-for-obligation, r=nagisabors-1/+0
2021-09-16Add `ConstraintCategory::Usage` for handling aggregate constructionAaron Hill-0/+14
2021-09-16Refactor `FulfillmentError` to track less dataEsteban Kuber-1/+0
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-5/+9
2021-09-15Allow call to get_body_with_borrowck_facts without -Z poloniusWill Crichton-10/+10
2021-09-15Use explicit log level in tracing instrument macroTomasz Miąsko-1/+1
2021-09-15Point to closure when emitting 'cannot move out' for captured variableFabian Wolff-4/+8
2021-09-12Auto merge of #88811 - jackh726:issue-88446, r=nikomatsakisbors-15/+24
2021-09-12Auto merge of #88771 - jackh726:wf_tys_set, r=nikomatsakisbors-3/+4
2021-09-11don't clone types that are Copy (clippy::clone_on_copy)Matthias Krüger-4/+4
2021-09-09Use FxHashMapjackh726-17/+21
2021-09-09In relate_tys, when creating new universes, insert missing universes as otherjackh726-3/+8
2021-09-09Fix two uses of `span_note` when the source is not availableFabian Wolff-2/+17
2021-09-09Only add_implied_bounds for norm_ty if differentjackh726-3/+4
2021-09-09Fix issue #72649: avoid spurious "previous iteration of loop" errors.Robert Xiao-28/+80
2021-09-08Rebase fallout.Camille GILLOT-0/+1
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-9/+10
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-40/+38
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+23979