| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-20 | include ParamEnv in projection cache key | Lukas Markeffsky | -3/+7 |
| 2024-04-15 | Simplify shallow resolver to just fold ty/consts | Michael Goulet | -4/+4 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -1/+8 |
| 2024-04-06 | Add a debug asserts call to match_projection_projections to ensure invariant | Santiago Pastorino | -0/+2 |
| 2024-04-04 | Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errors | Jacob Pratt | -1/+1 |
| 2024-04-04 | Rename HAS_PROJECTIONS to HAS_ALIASES etc. | León Orell Valerian Liehr | -1/+1 |
| 2024-04-04 | Allow defining opaque types when checking const equality bounds | Oli Scherer | -3/+9 |
| 2024-04-04 | Add some regression tests for opaque types and const generics | Oli Scherer | -1/+2 |
| 2024-04-03 | move leak check out of candidate evaluation | lcnr | -14/+62 |
| 2024-04-03 | Auto merge of #122791 - compiler-errors:make-coinductive-always, r=lcnr | bors | -39/+3 |
| 2024-04-01 | Instantiate closure-like bounds with placeholders to deal with binders correctly | Michael Goulet | -14/+6 |
| 2024-03-31 | Remove EvaluatedToErrStackDependent | Michael Goulet | -39/+3 |
| 2024-03-31 | Always make inductive cycles as ambig during typeck | Michael Goulet | -1/+1 |
| 2024-03-22 | Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr | bors | -4/+7 |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -4/+7 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -3/+1 |
| 2024-03-22 | Implement `FusedIterator` for `gen` block | Shoyu Vanilla | -0/+14 |
| 2024-03-20 | Split item bounds and item super predicates | Michael Goulet | -14/+10 |
| 2024-03-19 | Auto merge of #122493 - lukas-code:sized-constraint, r=lcnr | bors | -7/+8 |
| 2024-03-18 | address nits | Lukas Markeffsky | -5/+8 |
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ... | Oli Scherer | -1/+1 |
| 2024-03-14 | clean up ADT sized constraint computation | Lukas Markeffsky | -5/+3 |
| 2024-03-14 | rebase | lcnr | -1/+1 |
| 2024-03-14 | eagerly instantiate binders to avoid relying on `sub` | lcnr | -8/+19 |
| 2024-03-07 | Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader` | Yoshitomo Nakanishi | -5/+5 |
| 2024-02-28 | Rename `DiagnosticBuilder` as `Diag`. | Nicholas Nethercote | -5/+2 |
| 2024-02-22 | freshen: resolve root vars | lcnr | -23/+2 |
| 2024-02-20 | Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav... | bors | -2/+5 |
| 2024-02-19 | Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers. | Nicholas Nethercote | -2/+5 |
| 2024-02-19 | split `project` into multiple files | lcnr | -5/+6 |
| 2024-02-19 | never normalize without eager inference replacement | lcnr | -2/+1 |
| 2024-02-15 | Consider principal trait ref's auto-trait super-traits in dyn upcasting | Michael Goulet | -1/+12 |
| 2024-02-14 | Auto merge of #120942 - compiler-errors:deep-assoc-hang, r=lcnr | bors | -0/+16 |
| 2024-02-13 | Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errors | bors | -10/+8 |
| 2024-02-12 | Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obk | Matthias Krüger | -3/+3 |
| 2024-02-12 | Stop calling `impl_polarity` when `impl_trait_ref` was also called | Oli Scherer | -10/+8 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -3/+3 |
| 2024-02-12 | Check representation of unnamed fields | Frank King | -5/+3 |
| 2024-02-12 | Lowering field access for anonymous adts | Frank King | -2/+2 |
| 2024-02-12 | Lower anonymous structs or unions to HIR | Frank King | -0/+10 |
| 2024-02-11 | Ignore own item bounds in parent alias types in `for_each_item_bound` | Michael Goulet | -0/+16 |
| 2024-02-09 | For a rigid projection, recursively look at the self type's item bounds | Michael Goulet | -62/+33 |
| 2024-02-08 | Rollup merge of #120590 - compiler-errors:dead, r=Nilstrieb | Matthias Krüger | -3/+2 |
| 2024-02-08 | rename `instantiate_binder_with_placeholders` | Boxy | -3/+3 |
| 2024-02-06 | Teach typeck/borrowck/solvers how to deal with async closures | Michael Goulet | -0/+12 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -0/+9 |
| 2024-02-02 | Remove dead args from functions | Michael Goulet | -3/+2 |
| 2024-01-12 | Remove unused ErrorReporting variant from overflow handling | Michael Goulet | -5/+3 |
| 2024-01-08 | Make inductive cycles in coherence ambiguous always | Michael Goulet | -12/+8 |
| 2023-12-28 | Movability doesn't need to be a query anymore | Michael Goulet | -1/+1 |
