| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -5/+1 |
| 2022-09-15 | Don't throw away information just to recompute it again | Oli Scherer | -14/+10 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -5/+1 |
| 2022-09-01 | Directly use the `instrument` macro instead of its full path | Oli Scherer | -1/+1 |
| 2022-07-29 | never inline the only thing that calls a query, which could hit the instrumen... | Oli Scherer | -0/+1 |
| 2022-07-21 | `region_outlives_predicate` no snapshot | lcnr | -8/+3 |
| 2022-07-21 | move `considering_regions` to the infcx | lcnr | -38/+13 |
| 2022-07-18 | Check generators for well formedness | Oli Scherer | -3/+2 |
| 2022-07-15 | remove tcx from ObligationCauseCode::span | Michael Goulet | -1/+1 |
| 2022-07-12 | Move abstract const to rustc_middle::ty | kadmin | -1/+1 |
| 2022-07-06 | Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726 | bors | -1/+1 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 |
| 2022-07-05 | refactor: remove a redundant mutable variable | Takayuki Maeda | -4/+3 |
| 2022-06-20 | Auto merge of #97674 - nnethercote:oblig-forest-tweaks, r=nikomatsakis | bors | -60/+38 |
| 2022-06-14 | rebase | b-naber | -1/+1 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -13/+15 |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -2/+2 |
| 2022-06-06 | Split `process_obligation` in two. | Nicholas Nethercote | -41/+30 |
| 2022-06-06 | Handle stalling within `ObligationForest`. | Nicholas Nethercote | -19/+8 |
| 2022-03-31 | Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errors | Dylan DPC | -1/+1 |
| 2022-03-30 | Add the generic_associated_types_extended feature | Jack Huey | -5/+7 |
| 2022-03-30 | Spellchecking compiler comments | Yuri Astrakhan | -1/+1 |
| 2022-03-25 | Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnr | Dylan DPC | -1/+5 |
| 2022-03-22 | fix previous failures and address review | b-naber | -1/+5 |
| 2022-03-16 | rustc_error: make ErrorReported impossible to construct | mark | -9/+6 |
| 2022-03-07 | Try to normalize associated types before processing obligations | Jack Huey | -0/+17 |
| 2022-03-02 | rename ErrorReported -> ErrorGuaranteed | mark | -7/+9 |
| 2022-02-21 | obligation forest docs | lcnr | -2/+2 |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -4/+4 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -17/+0 |
| 2022-02-02 | Eagerly merge hidden types. | Oli Scherer | -1/+1 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -0/+17 |
| 2022-01-28 | Remove generalization over projection | kadmin | -1/+1 |
| 2022-01-15 | attempt to re-add `ty::Unevaluated` visitor and friends | Ellen | -5/+6 |
| 2022-01-15 | initial revert | Ellen | -12/+10 |
| 2021-12-20 | Eliminate `ObligationCauseData`. | Nicholas Nethercote | -1/+1 |
| 2021-12-18 | Re-introduce concept of projection cache 'completion' | Aaron Hill | -0/+17 |
| 2021-12-15 | Remove `in_band_lifetimes` from `rustc_trait_selection` | Sylvan Bowdler | -1/+1 |
| 2021-12-12 | Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk" | Deadbeef | -37/+2 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -2/+37 |
| 2021-11-29 | Use the constness from the param env instead of having a separate dimension f... | Oli Scherer | -37/+2 |
| 2021-11-08 | fmt | Deadbeef | -20/+4 |
| 2021-11-08 | Make select_* methods return Vec for TraitEngine | Deadbeef | -14/+22 |
| 2021-09-24 | Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakis | Jubilee | -1/+2 |
| 2021-09-17 | Add another case of fallback to () avoid breakage | Mark Rousskov | -0/+13 |
| 2021-09-15 | Remove ToPredicate impls that use Binder::dummy | jackh726 | -1/+2 |
| 2021-09-09 | rename mir -> thir around abstract consts | Ellen | -1/+1 |
| 2021-08-30 | rename const_evaluatable_checked to generic_const_exprs | Ellen | -1/+1 |
| 2021-08-26 | shrink `ty::PredicateKind` again | lcnr | -1/+1 |
| 2021-08-26 | use `ty::Unevaluated` instead of def substs pair | lcnr | -4/+5 |
