| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-17 | Remove ImplSubject | Cameron Steffen | -24/+0 | |
| 2025-05-27 | Rename unpack to kind | Michael Goulet | -2/+2 | |
| 2025-04-28 | Add or-patterns to pattern types | Oli Scherer | -0/+9 | |
| 2025-04-28 | Split out various pattern type matches into their own function | Oli Scherer | -1/+2 | |
| 2025-03-06 | Remove the `Option` part of range ends in the HIR | Oli Scherer | -12/+3 | |
| 2025-03-06 | Avoid having to handle an `Option` in the type system | Oli Scherer | -12/+11 | |
| 2025-02-21 | Assert that we always construct dyn types with the right number of projections | Michael Goulet | -0/+3 | |
| 2025-02-21 | Do not deduplicate list of associated types provided by dyn principal | Michael Goulet | -14/+4 | |
| 2024-11-26 | Rollup merge of #133362 - compiler-errors:existential-preds, r=BoxyUwU | Michael Goulet | -4/+0 | |
| No need to re-sort existential preds in relate impl We already assert that these predicates are in the right ordering in `mk_poly_existential_predicates`. r? types | ||||
| 2024-11-23 | Remove unnecessary bool from ExpectedFound | Michael Goulet | -2/+2 | |
| 2024-11-23 | No need to re-sort existential preds | Michael Goulet | -4/+0 | |
| 2024-10-22 | do not relate `Abi` and `Safety` | lcnr | -22/+0 | |
| and update some macros while we're at it | ||||
| 2024-10-07 | Simplify two matches. | Nicholas Nethercote | -9/+1 | |
| Matches involving `GenericArgKind` pairs typically use a single `_` for the impossible case. This commit shortens two verbose matches in this way. | ||||
| 2024-07-17 | Fix relations | Michael Goulet | -2/+2 | |
| 2024-07-06 | Uplift PredicateEmittingRelation first | Michael Goulet | -12/+0 | |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -704/+113 | |
| 2024-06-05 | ty::Expr reviews | Boxy | -3/+5 | |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -1/+1 | |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -7/+6 | |
| 2024-06-04 | Downsize `ty::Expr` | Boxy | -40/+12 | |
| 2024-06-01 | Uplift TypeRelation and Relate | Michael Goulet | -22/+0 | |
| 2024-05-23 | Remove `#[macro_use] extern crate tracing` from `rustc_middle`. | Nicholas Nethercote | -0/+1 | |
| 2024-05-17 | Rename Unsafe to Safety | Santiago Pastorino | -7/+7 | |
| 2024-05-13 | Apply nits | Michael Goulet | -9/+10 | |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -0/+28 | |
| 2024-05-11 | Apply nits, uplift ExistentialPredicate too | Michael Goulet | -9/+18 | |
| 2024-04-29 | Remove `extern crate rustc_macros` from `rustc_middle`. | Nicholas Nethercote | -0/+1 | |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+38 | |
| 2024-03-22 | Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr | bors | -4/+4 | |
| Rollup of 8 pull requests Successful merges: - #114009 (compiler: allow transmute of ZST arrays with generics) - #122195 (Note that the caller chooses a type for type param) - #122651 (Suggest `_` for missing generic arguments in turbofish) - #122784 (Add `tag_for_variant` query) - #122839 (Split out `PredicatePolarity` from `ImplPolarity`) - #122873 (Merge my contributor emails into one using mailmap) - #122885 (Adjust better spastorino membership to triagebot's adhoc_groups) - #122888 (add a couple more tests) r? `@ghost` `@rustbot` modify labels: rollup | ||||
| 2024-03-22 | Further simplifications | Michael Goulet | -15/+1 | |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -0/+14 | |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -4/+1 | |
| 2024-03-22 | Ty::new_ref and Ty::new_ptr stop using TypeAndMut | Michael Goulet | -2/+2 | |
| 2024-03-22 | Remove TypeAndMut from relate | Michael Goulet | -29/+32 | |
| 2024-03-01 | Fallout from removing a_is_expected | Michael Goulet | -53/+25 | |
| 2024-03-01 | Remove cause | Michael Goulet | -11/+6 | |
| 2024-02-07 | Do not create param types that differ only by name when comparing intrinsic ↵ | Michael Goulet | -1/+1 | |
| signatures | ||||
| 2024-02-07 | Assert that ParamTy and ParamConst have identical names for identical indices | Michael Goulet | -2/+8 | |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -0/+7 | |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -4/+2 | |
| 2023-12-19 | Remove param env from relation altogether | Michael Goulet | -2/+0 | |
| 2023-12-19 | Do not evaluate in structurally_relate_tys | Michael Goulet | -7/+3 | |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -1/+1 | |
| `x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`. Then I had to remove a few unnecessary parens and muts that were exposed now. | ||||
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -4/+4 | |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -15/+15 | |
| 2023-10-18 | AliasTy::new instead of tcx method | lcnr | -1/+1 | |
| 2023-10-04 | Make it clear that args default to being related invariantly | Michael Goulet | -10/+10 | |
| 2023-10-04 | Remove unnecessary relate impl | Michael Goulet | -13/+0 | |
| 2023-10-04 | Relate AliasTy considering variance | Michael Goulet | -19/+15 | |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -12/+2 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |