summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2022-07-15promote placeholder bounds to 'static obligationsNiko Matsakis-5/+33
2022-06-24Auto merge of #98109 - nikomatsakis:issue-98095, r=jackh726bors-20/+81
2022-06-23run `x.py fmt`Niko Matsakis-4/+1
2022-06-23apply suggestions from oli-obkNiko Matsakis-1/+1
2022-06-23rename IfEqBound to IfEqNiko Matsakis-4/+4
2022-06-23remove VerifyBound::IfEq variantNiko Matsakis-23/+0
2022-06-19Move RegionKind to rustc_type_irJack Huey-1/+1
2022-06-15fix universes in the NLL type testsNiko Matsakis-1/+24
2022-06-15implement (unused) matching solverNiko Matsakis-21/+80
2022-06-15simply the IfEq bound -- we only ever use a regionNiko Matsakis-3/+8
2022-05-25add def_id and substs to ConstraintCategory::CallArgumentb-naber-4/+4
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-57/+63
2022-05-13For non-defining opaque type usage errors, don't try to also prove all trait ...Oli Scherer-106/+1
2022-05-10Auto merge of #96736 - oli-obk:tait_missing_wf_check, r=davidtwcobors-0/+1
2022-05-10Check hidden types for well formedness at the definition site instead of only...Oli Scherer-0/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-13/+13
2022-04-19Add an explicit `Span` field to `OutlivesConstraint`Aaron Hill-5/+10
2022-04-07Deduplicate the error printing code for hidden type mismatchesOli Scherer-10/+3
2022-04-07Report opaque type mismatches directly during borrowck of the function instea...Oli Scherer-10/+21
2022-04-06Check that all hidden types are the same and then deduplicate them.Oli Scherer-62/+80
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-2/+2
2022-03-30Spellchecking some commentsYuri Astrakhan-2/+2
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-17/+15
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-21/+41
2022-03-08add `#[rustc_pass_by_value]` to more typeslcnr-4/+4
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