| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-03 | check_is_object_safe -> is_object_safe | Michael Goulet | -1/+1 |
| 2024-05-28 | EvalCtxt::tcx() -> EvalCtxt::interner() | Michael Goulet | -13/+15 |
| 2024-05-19 | Make EvalCtxt generic over interner | Michael Goulet | -30/+32 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -4/+4 |
| 2024-05-16 | Make impls UpcastFrom, implement Upcast for UpcastFrom | Michael Goulet | -1/+1 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -2/+2 |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -11/+8 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-05-12 | structurally important functions to `debug` | lcnr | -5/+5 |
| 2024-05-12 | solve: replace all `debug` with `trace` | lcnr | -12/+12 |
| 2024-05-02 | Record more kinds of things as impl where bounds | Michael Goulet | -8/+7 |
| 2024-05-02 | shallow resolve in orphan check | lcnr | -8/+4 |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -92/+74 |
| 2024-04-29 | Make names more accurate | Michael Goulet | -7/+11 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -11/+15 |
| 2024-04-16 | Add simple async drop glue generation | zetanumbers | -0/+7 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+3 |
| 2024-04-05 | do not ICE in forced ambiguity if we get an error | lcnr | -3/+10 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -3/+3 |
| 2024-03-22 | Implement `FusedIterator` for `gen` block | Shoyu Vanilla | -0/+9 |
| 2024-03-14 | remove unnecessary sized checks | Lukas Markeffsky | -1/+1 |
| 2024-03-11 | Don't ICE when non-self part of trait goal is constrained in new solver | Michael Goulet | -1/+3 |
| 2024-02-28 | Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive` | Trevor Gross | -1/+3 |
| 2024-02-26 | add additional logging | lcnr | -1/+6 |
| 2024-02-22 | Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr | Matthias Krüger | -115/+1 |
| 2024-02-13 | Rollup merge of #121047 - compiler-errors:default-impls, r=lcnr | Matthias Krüger | -0/+14 |
| 2024-02-13 | Do not assemble candidates for default impls | Michael Goulet | -0/+14 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -28/+12 |
| 2024-02-10 | Gracefully handle non-WF alias in assemble_alias_bound_candidates_recur | Michael Goulet | -2/+6 |
| 2024-02-10 | Rollup merge of #120584 - compiler-errors:u, r=lcnr | Matthias Krüger | -9/+62 |
| 2024-02-09 | hide impls if trait bound is proven from env | lcnr | -46/+66 |
| 2024-02-09 | add comment | lcnr | -0/+6 |
| 2024-02-09 | make it recursive | Michael Goulet | -84/+90 |
| 2024-02-09 | For a rigid projection, recursively look at the self type's item bounds | Michael Goulet | -41/+88 |
| 2024-02-08 | Rollup merge of #120590 - compiler-errors:dead, r=Nilstrieb | Matthias Krüger | -1/+1 |
| 2024-02-06 | Bless tests, add comments | Michael Goulet | -1/+3 |
| 2024-02-06 | Teach typeck/borrowck/solvers how to deal with async closures | Michael Goulet | -0/+18 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+4 |
| 2024-02-03 | No need to validate_alias_bound_self_from_param_env in assemble_alias_bound_c... | Michael Goulet | -115/+1 |
| 2024-02-02 | Remove dead args from functions | Michael Goulet | -1/+1 |
| 2024-01-29 | merge builtin unsize candidates again | lcnr | -31/+0 |
| 2024-01-29 | bye bye `assemble_candidates_via_self_ty` | lcnr | -106/+28 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 |
| 2023-12-18 | track the source of nested goals | lcnr | -8/+15 |
| 2023-12-08 | Implement `async gen` blocks | Michael Goulet | -0/+7 |
| 2023-12-08 | implement and use `NormalizesTo` | lcnr | -5/+3 |
| 2023-11-29 | new solver: improve instrument annotations | lcnr | -0/+2 |
| 2023-11-26 | Clean dead codes | r0cky | -2/+0 |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -1/+1 |
| 2023-11-20 | handle reservation impls, track impl source | lcnr | -5/+3 |
