summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2021-12-30Use SparseIntervalMatrix instead of SparseBitMatrixMark Rousskov-9/+11
2021-12-07Store impl_trait_fn inside OpaqueTyOrigin.Camille GILLOT-1/+1
2021-11-24Auto merge of #90491 - Mark-Simulacrum:push-pred-faster, r=matthewjasperbors-23/+5
2021-11-07Rename functions reflect that inline const is also "typeck_child"Gary Guo-3/+2
2021-11-07Implement type inference for inline constsGary Guo-1/+2
2021-11-06use matches!() macro in more placesMatthias Krüger-7/+7
2021-11-03Optimize live point computationMark Rousskov-23/+5
2021-10-15simplify constrain_opaque_typesNiko Matsakis-0/+10
2021-10-07Add check that region is live in sanitize_promotedNoble-Mushtak-10/+12
2021-10-03Replace Fn impls with RPIT impls in rustc_indexbjorn3-1/+1
2021-09-30Rollup merge of #89327 - oli-obk:nll_diag_infer_vars, r=wesleywiserManish Goregaokar-1/+16
2021-09-28Pick one possible lifetime in case there are multiple choicesOli Scherer-1/+16
2021-09-28More tracing instrumentationOli Scherer-45/+26
2021-09-27Remove `DefId` from `ConstraintCategory::Predicate`Aaron Hill-5/+11
2021-09-27Improve cause information for NLL higher-ranked errorsAaron Hill-12/+36
2021-09-23Check that TAIT generics are fully generic in mir typeck instead of wf-check,...Oli Scherer-3/+106
2021-09-15Use explicit log level in tracing instrument macroTomasz Miąsko-1/+1
2021-09-12Auto merge of #88811 - jackh726:issue-88446, r=nikomatsakisbors-3/+3
2021-09-11don't clone types that are Copy (clippy::clone_on_copy)Matthias Krüger-4/+4
2021-09-09Use FxHashMapjackh726-3/+3
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+3168