about summary refs log tree commit diff
path: root/src/librustc/infer/outlives
AgeCommit message (Expand)AuthorLines
2019-03-15rustc: tie the 'tcx between Print and PrintCx in ty::print.Eduard-Mihai Burtescu-1/+1
2019-03-05Clean up some generic substs handlingvarkor-7/+13
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
2019-02-13HirId-ify hir::BodyIdljedrz-9/+9
2019-02-10rustc: doc commentsAlexander Regueiro-7/+7
2019-02-05move librustc to 2018Mark Mansi-18/+18
2018-12-25Remove licensesMark Rousskov-50/+0
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-11-19Rollup merge of #56043 - nikomatsakis:issue-55756-via-outlives, r=eddybPietro Albini-7/+23
2018-11-18remove "approx env bounds" if we already know from traitNiko Matsakis-7/+23
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-2/+2
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-2/+2
2018-11-11Fix typos.Bruce Mitchener-1/+1
2018-11-08Use `SmallVec` outparams in several functions.Nicholas Nethercote-9/+11
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-1/+1
2018-11-03Shift both late bound regions and bound typesscalexm-1/+1
2018-10-26Remove redundant cloneShotaro Yamada-1/+1
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-7/+3
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-2/+2
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-2/+5
2018-09-26use `IfEq` to defer equality comparison around `where` clauses`Niko Matsakis-49/+59
2018-09-26refactor away `AnyRegions` and `AllRegions`Niko Matsakis-10/+27
2018-09-26change to use impl Trait a bitNiko Matsakis-14/+15
2018-09-26use approx. bounds to decide whether to add outlives obligationsNiko Matsakis-1/+10
2018-09-26propagate the `compare_ty` fn further upNiko Matsakis-18/+17
2018-09-26introduce the idea of an "approximate match"Niko Matsakis-39/+56
2018-09-26introduce a "comparison fn" instead of always use `==`Niko Matsakis-11/+10
2018-09-26split out getting the declared bounds from the env versus traitNiko Matsakis-23/+38
2018-09-26break out the code that computes VerifyBoundsNiko Matsakis-218/+276
2018-09-26apply `process_registered_region_obligations` at the end of regionckNiko Matsakis-27/+30
2018-09-26use `RegionBoundPairs` type aliasNiko Matsakis-5/+6
2018-09-26change `RegionObligation` to store a `SubregionOrigin`Niko Matsakis-19/+36
2018-09-26build up a map of the region-bound pairs for each body-idNiko Matsakis-10/+55
2018-09-26outlives/env: rustfmtNiko Matsakis-4/+6
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-1/+1
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-1/+1
2018-08-03Don't collect() when size_hint is uselessljedrz-5/+7
2018-07-29Replace push loops with collect() and extend() where possibleljedrz-6/+5
2018-07-26Improve a few vectors - calculate capacity or build from iteratorsljedrz-5/+1
2018-07-21Convert implied_outlives_bounds to a queryTyler Mandry-219/+2
2018-06-27change the `enter_canonical_trait_query` method to give a fulfill cxNiko Matsakis-1/+1
2018-06-26align the `type-op` outputs with what canonicalized queries giveNiko Matsakis-3/+3
2018-06-26make `TypeOutlives` parameterized over a delegateNiko Matsakis-31/+90
2018-06-26obligations.rs: rustfmtNiko Matsakis-31/+16
2018-06-26resolve type vars *before* entering `type_must_outlive`Niko Matsakis-2/+2
2018-03-23import trait engine to typeckcsmoe-1/+1
2018-03-14Add note about fallback to `!: !Trait` errorAndrew Cann-1/+1
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+10
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-2/+0
2018-02-17fix more typos found by codespell.Matthias Krüger-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-25 21:35:16 +0000