| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-09-13 | Use Predicate ConstraintCategory when normalizing | Jack Huey | -1/+2 |
| 2022-09-13 | Better errors for implied static bound | Jack Huey | -4/+4 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -1/+3 |
| 2022-09-08 | don't evaluate with escaping bound vars | lcnr | -9/+10 |
| 2022-08-11 | Auto merge of #100315 - compiler-errors:norm-ct-in-proj, r=lcnr | bors | -3/+20 |
| 2022-08-09 | Move folding into just projection cases | Michael Goulet | -10/+20 |
| 2022-08-09 | don't normalize wf predicates | lcnr | -0/+12 |
| 2022-08-09 | Keep going if normalized projection has unevaluated consts in QueryNormalizer | Michael Goulet | -1/+8 |
| 2022-08-04 | Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize` | Michael Goulet | -7/+2 |
| 2022-07-18 | Auto merge of #99181 - lcnr:arenaGTrc, r=wesleywiser | bors | -10/+11 |
| 2022-07-15 | `QueryNormalizer` bug on ambiguity | lcnr | -2/+2 |
| 2022-07-15 | remove tcx from ObligationCauseCode::span | Michael Goulet | -1/+1 |
| 2022-07-12 | remove outdated comment | lcnr | -9/+9 |
| 2022-07-12 | arena > Rc for query results | lcnr | -6/+7 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 |
| 2022-07-05 | Relax constrained generics to TypeVisitable | Alan Egerton | -1/+2 |
| 2022-07-05 | Add #[derive(TypeVisitable)] | Alan Egerton | -2/+2 |
| 2022-07-04 | region obligations, remove `body_id` | lcnr | -1/+1 |
| 2022-07-04 | rip out `RegionCtxt` from hir typeck | lcnr | -67/+3 |
| 2022-06-21 | Reverse folder hierarchy | Alan Egerton | -4/+2 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -6/+9 |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -2/+2 |
| 2022-06-08 | Auto merge of #97447 - nnethercote:improve-folding, r=jackh726 | bors | -8/+6 |
| 2022-06-08 | Folding revamp. | Nicholas Nethercote | -8/+6 |
| 2022-05-16 | Don't go into the query for things that can't possibly have lifetimes. | Oli Scherer | -3/+10 |
| 2022-05-13 | Add bound_type_of | Jack Huey | -3/+3 |
| 2022-05-10 | Introduce EarlyBinder | Jack Huey | -2/+2 |
| 2022-03-30 | Spellchecking compiler comments | Yuri Astrakhan | -1/+1 |
| 2022-03-28 | Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk" | Oli Scherer | -17/+26 |
| 2022-03-25 | Auto merge of #95280 - InfRandomness:infrandomness/Dtorck_clarification, r=ol... | bors | -1/+1 |
| 2022-03-24 | Swap DtorckConstraint to DropckConstraint | InfRandomness | -1/+1 |
| 2022-03-25 | Fix ice when error reporting recursion errors | lightning1141 | -0/+2 |
| 2022-03-11 | Improve `AdtDef` interning. | Nicholas Nethercote | -1/+1 |
| 2022-03-09 | normalization change and rebase | b-naber | -1/+1 |
| 2022-03-09 | treat all mir::Constant values as ConstantKind::Val | b-naber | -1/+16 |
| 2022-03-01 | 9 - Make more use of `let_chains` | Caio | -15/+13 |
| 2022-02-21 | use `List<Ty<'tcx>>` for tuples | lcnr | -1/+1 |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -4/+4 |
| 2022-02-15 | Overhaul `TyS` and `Ty`. | Nicholas Nethercote | -2/+2 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -1/+3 |
| 2022-02-11 | Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk" | Oli Scherer | -25/+14 |
| 2022-02-08 | Improve opaque type higher-ranked region error message under NLL | Aaron Hill | -14/+25 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -3/+1 |
| 2022-01-31 | Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726 | Matthias Krüger | -1/+1 |
| 2022-01-15 | initial revert | Ellen | -12/+4 |
| 2021-12-16 | Prove obligations to termination instead of ignoring ambiguities. | Oli Scherer | -19/+42 |
| 2021-12-15 | Remove `in_band_lifetimes` from `rustc_trait_selection` | Sylvan Bowdler | -5/+5 |
| 2021-12-12 | Remap more env constness for queries | Deadbeef | -18/+17 |
| 2021-12-12 | Remap predicate/env constness before querying | Deadbeef | -4/+24 |
| 2021-12-02 | Rename TypeFolderFallible to FallibleTypeFolder | Alan Egerton | -2/+2 |
