| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-01-20 | Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstrieb | bors | -9/+9 |
| 2023-01-17 | Stop using `BREAK` & `CONTINUE` in compiler | Scott McMurray | -3/+3 |
| 2023-01-17 | Review suggestions | Maybe Waffle | -1/+1 |
| 2023-01-17 | Don't call closures immediately, use `try{}` blocks | Maybe Waffle | -10/+10 |
| 2023-01-03 | Simplify some canonical type alias names | Michael Goulet | -35/+35 |
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -1/+1 |
| 2022-12-13 | Combine identical alias arms | Michael Goulet | -2/+1 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -5/+7 |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -1/+1 |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -1/+1 |
| 2022-12-06 | Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ... | Michael Goulet | -8/+6 |
| 2022-12-01 | Document normalization methods on At | Michael Goulet | -0/+7 |
| 2022-11-28 | partially_normalize_... -> At::normalize | Michael Goulet | -2/+2 |
| 2022-11-28 | Rename At::normalize to At::query_normalize | Michael Goulet | -2/+2 |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -3/+5 |
| 2022-11-24 | with_query_mode -> new | Santiago Pastorino | -4/+2 |
| 2022-11-18 | Revert "Normalize opaques with escaping bound vars" | Michael Goulet | -1/+1 |
| 2022-11-16 | Convert predicates into Predicate in the Obligation constructor | Oli Scherer | -0/+1 |
| 2022-11-07 | Don't normalize constants unless they need normalization | Michael Goulet | -0/+4 |
| 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 |
