| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-11-25 | fmt | Boxy | -2/+2 |
| 2022-11-25 | Add expand_abstract_const | kadmin | -4/+4 |
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -3/+58 |
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -10/+22 |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally al... | Oli Scherer | -0/+4 |
| 2022-11-21 | Treat different opaque types of the same def id as equal during coherence | Oli Scherer | -10/+18 |
| 2022-11-21 | Auto merge of #104673 - matthiaskrgr:rollup-85f65ov, r=matthiaskrgr | bors | -1/+1 |
| 2022-11-19 | drive-by: PolyExistentialPredicate | Michael Goulet | -1/+1 |
| 2022-11-14 | Drop `relate_opaque_item_substs`. | Camille GILLOT | -23/+12 |
| 2022-11-12 | Inherit generics for impl-trait. | Camille GILLOT | -1/+21 |
| 2022-11-04 | Refactor tcx mk_const parameters. | Mateusz | -4/+4 |
| 2022-10-23 | Add normalize hack back | Michael Goulet | -2/+13 |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -1/+1 |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -10/+2 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -1/+1 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -2/+4 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -2/+4 |
| 2022-09-12 | Plumb dyn trait representation through ty::Dynamic | Eric Holk | -2/+4 |
| 2022-09-08 | stop evaluating constants in `Relate` | lcnr | -4/+0 |
| 2022-09-05 | Pack `Term` in the same way as `GenericArg`. | Nicholas Nethercote | -5/+5 |
| 2022-07-05 | Add #[derive(TypeVisitable)] | Alan Egerton | -1/+1 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -64/+1 |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -2/+2 |
| 2022-06-03 | Normalize consts' tys when relating with adt_const_params | Michael Goulet | -4/+9 |
| 2022-05-13 | Add bound_type_of | Jack Huey | -3/+3 |
| 2022-05-10 | Introduce EarlyBinder | Jack Huey | -2/+3 |
| 2022-04-17 | Split relate_substs into two functions | Martin Gammelsæter | -28/+33 |
| 2022-04-16 | Optimize relate_substs by extracting match | Martin Gammelsæter | -12/+12 |
| 2022-03-25 | Auto merge of #95082 - spastorino:overlap-inherent-impls, r=nikomatsakis | bors | -1/+25 |
| 2022-03-24 | Extract impl_subject_and_oglibations fn and make equate receive subjects | Santiago Pastorino | -1/+25 |
| 2022-03-21 | try to evaluate in try_unify | b-naber | -1/+1 |
| 2022-03-11 | Improve `AdtDef` interning. | Nicholas Nethercote | -1/+1 |
| 2022-02-21 | use `List<Ty<'tcx>>` for tuples | lcnr | -3/+1 |
| 2022-02-18 | Rollup merge of #93634 - matthiaskrgr:clippy_complexity_jan_2022, r=oli-obk | Matthias Krüger | -1/+1 |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -21/+21 |
| 2022-02-15 | Overhaul `TyS` and `Ty`. | Nicholas Nethercote | -2/+2 |
| 2022-02-03 | compiler: clippy::complexity fixes | Matthias Krüger | -1/+1 |
| 2022-01-17 | Add term to ExistentialProjection | kadmin | -4/+4 |
| 2022-01-17 | Update term for use in more places | kadmin | -7/+18 |
| 2022-01-17 | Use Term in ProjectionPredicate | kadmin | -5/+8 |
| 2022-01-15 | attempt to re-add `ty::Unevaluated` visitor and friends | Ellen | -1/+1 |
| 2022-01-15 | initial revert | Ellen | -4/+4 |
| 2021-12-29 | Refactor variance diagnostics to work with more types | Aaron Hill | -10/+27 |
| 2021-12-19 | Rollup merge of #91984 - Aaron1011:rustc-middle-lifetime, r=oli-obk | Matthias Krüger | -5/+5 |
| 2021-12-18 | Rollup merge of #92022 - woodenarrow:br_expected_bool, r=estebank | Matthias Krüger | -9/+1 |
| 2021-12-17 | Eliminate duplicate codes of expected_found_bool | lzh | -9/+1 |
| 2021-12-15 | Remove `in_band_lifetimes` from `rustc_middle` | Aaron Hill | -5/+5 |
| 2021-12-12 | Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk" | Deadbeef | -13/+0 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -0/+13 |
| 2021-11-29 | Completely remove ConstnessAnd | Oli Scherer | -13/+0 |
