| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -3/+3 |
| 2024-04-04 | Rename HAS_PROJECTIONS to HAS_ALIASES etc. | León Orell Valerian Liehr | -1/+1 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 |
| 2024-03-14 | use a let chain | Lukas Markeffsky | -7/+4 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -14/+5 |
| 2024-02-22 | Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errors | bors | -1/+6 |
| 2024-02-22 | Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnr | Matthias Krüger | -2/+4 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -1/+6 |
| 2024-02-22 | Preserve the `Span` from `prove_predicate` all the way to registering opaque ... | Oli Scherer | -2/+4 |
| 2024-02-21 | Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnr | Dylan DPC | -4/+3 |
| 2024-02-21 | Convert `bug`s back to `delayed_bug`s. | Nicholas Nethercote | -1/+1 |
| 2024-02-21 | Convert `delayed_bug`s to `bug`s. | Nicholas Nethercote | -5/+4 |
| 2024-02-20 | Rename some normalization-related items | León Orell Valerian Liehr | -8/+8 |
| 2024-02-19 | split `project` into multiple files | lcnr | -2/+3 |
| 2024-02-16 | Nits | Michael Goulet | -0/+6 |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -4/+4 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -43/+7 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -2/+2 |
| 2024-02-09 | Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnr | Matthias Krüger | -1/+22 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -0/+20 |
| 2024-02-05 | extend docs for `predicate_must_hold_considering_regions` | Lukas Markeffsky | -1/+22 |
| 2024-01-23 | Random type checker changes | Michael Goulet | -34/+12 |
| 2024-01-19 | use implied bounds compat mode in MIR borrowck | lcnr | -2/+10 |
| 2024-01-17 | Don't use compat versions of implied bounds in ImpliedOutlivesBounds query | Jack Huey | -2/+2 |
| 2024-01-17 | Correctly handle normalization in implied bounds | Ali MJ Al-Nasrawy | -3/+83 |
| 2024-01-16 | try fast path for wf type ops | Ali MJ Al-Nasrawy | -0/+17 |
| 2024-01-16 | wf-check type annotations before normalization | Ali MJ Al-Nasrawy | -22/+32 |
| 2024-01-12 | Remove unused ErrorReporting variant from overflow handling | Michael Goulet | -2/+0 |
| 2024-01-10 | Rename consuming chaining methods on `DiagnosticBuilder`. | Nicholas Nethercote | -0/+1 |
| 2024-01-10 | Add `DiagCtxt::delayed_bug`. | Nicholas Nethercote | -10/+6 |
| 2024-01-09 | Auto merge of #118968 - aliemjay:canon-static, r=lcnr | bors | -14/+4 |
| 2024-01-08 | Don't check for recursion in generator witness fields | Michael Goulet | -8/+5 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 |
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -7/+7 |
| 2023-12-15 | Annotate some bugs | Michael Goulet | -2/+4 |
| 2023-12-15 | unify query canonicalization mode | Ali MJ Al-Nasrawy | -14/+4 |
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -9/+9 |
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 |
| 2023-12-08 | temporarily revert "ice on ambguity in mir typeck" | Ali MJ Al-Nasrawy | -12/+4 |
| 2023-12-07 | add unused `NormalizesTo` predicate | lcnr | -7/+6 |
| 2023-12-02 | Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`. | Nicholas Nethercote | -8/+8 |
| 2023-11-25 | Don't ICE when encountering placeholders in implied bounds computation | Michael Goulet | -2/+4 |
| 2023-11-24 | Auto merge of #118189 - compiler-errors:cache-flags-for-const, r=nnethercote | bors | -7/+5 |
| 2023-11-22 | Cache flags for ty::Const | Michael Goulet | -7/+5 |
| 2023-11-22 | Auto merge of #118120 - compiler-errors:closure-kind, r=lcnr | bors | -1/+0 |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -4/+2 |
| 2023-11-21 | Remove ClosureKind predicate kind | Michael Goulet | -1/+0 |
| 2023-11-19 | Make regionck care about placeholders in outlives components | Michael Goulet | -0/+3 |
| 2023-11-13 | rename `ReLateBound` to `ReBound` | lcnr | -1/+1 |
| 2023-11-03 | Auto merge of #117507 - nnethercote:rustc_span, r=Nilstrieb | bors | -4/+3 |
