| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-11-20 | Revert "Normalize opaques with escaping bound vars" | Michael Goulet | -1/+1 |
| 2022-10-21 | Delay ambiguity span bug in normalize query iff not rustdoc | Michael Goulet | -2/+19 |
| 2022-10-17 | mir constants: type traversing bye bye | lcnr | -8/+0 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -9/+9 |
| 2022-10-07 | Introduce TypeErrCtxt | Cameron Steffen | -2/+2 |
| 2022-09-23 | Rollup merge of #102137 - b-naber:lazy-const-val-conversion, r=lcnr | Matthias Krüger | -19/+1 |
| 2022-09-22 | don't convert valtree to constvalue during normalization | b-naber | -19/+1 |
| 2022-09-22 | Normalize opaques with escaping bound vars | Michael Goulet | -1/+1 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -1/+0 |
| 2022-09-19 | Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errors | bors | -5/+6 |
| 2022-09-17 | Use Predicate ConstraintCategory when normalizing | Jack Huey | -1/+2 |
| 2022-09-16 | Final bits | Jack Huey | -4/+4 |
| 2022-09-16 | Revert "Better errors for implied static bound" | Jack Huey | -4/+4 |
| 2022-09-16 | Revert "Use Predicate ConstraintCategory when normalizing" | Jack Huey | -2/+1 |
| 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 |
