about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2022-03-01compiler: fix some typoscuishuang-1/+1
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-1/+2
2022-02-19Adopt let else in more placesest31-7/+5
2022-02-17Revert "Auto merge of #91403 - cjgillot:inherit-async, r=oli-obk"Oli Scherer-18/+0
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-4/+4
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-12Bless nll tests.Camille GILLOT-0/+18
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-38/+20
2022-02-11Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"Oli Scherer-3/+1
2022-02-08Improve opaque type higher-ranked region error message under NLLAaron Hill-1/+3
2022-02-02Avoid an ICE in the presence of HKLOli Scherer-0/+4
2022-02-02Reduce follow-up errors that are not helpfulOli Scherer-3/+9
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-22/+30
2022-01-19Remove ordering traits from `rustc_borrowck::constraints::OutlivesConstraint`pierwill-2/+2
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