| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-28 | Move `mir::Field` → `abi::FieldIdx` | Scott McMurray | -2/+2 |
| 2023-03-23 | Printing alias-relate goals correctly | Michael Goulet | -2/+3 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -1/+1 |
| 2023-03-23 | Include relation direction in AliasEq predicate | Michael Goulet | -1/+3 |
| 2023-02-26 | Access upvars through a query. | Camille GILLOT | -0/+1 |
| 2023-02-24 | Rename `mk_{ty,region}` as `mk_{ty,region}_from_kind`. | Nicholas Nethercote | -1/+1 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -4/+4 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -54/+113 |
| 2023-02-18 | Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com... | bors | -1/+1 |
| 2023-02-17 | Replace `mk_foo` calls with `infer_foo` where possible. | Nicholas Nethercote | -1/+1 |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -0/+1 |
| 2023-02-13 | Rename folder traits' `tcx` method to `interner` | Alan Egerton | -3/+3 |
| 2023-02-13 | Move folding and visiting traits into type library | Alan Egerton | -226/+19 |
| 2023-02-13 | Make atomic structural impls generic over Interner | Alan Egerton | -45/+45 |
| 2023-02-13 | Make folding traits generic over the Interner | Alan Egerton | -24/+24 |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -23/+25 |
| 2023-02-13 | Split TypeVisitableExt from TypeVisitable | Alan Egerton | -10/+0 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -40/+40 |
| 2023-02-10 | add `AliasEq` to `PredicateKind` | Boxy | -0/+1 |
| 2023-01-30 | Track bound types like bound regions | Michael Goulet | -0/+1 |
| 2023-01-27 | Introduce GeneratorWitnessMIR. | Camille GILLOT | -0/+4 |
| 2023-01-27 | Impl HashStable/Encodable/Decodable for ObligationCause. | Camille GILLOT | -0/+1 |
| 2023-01-26 | Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillot | bors | -0/+7 |
| 2023-01-23 | Thread a ParamEnv down to might_permit_raw_init | Ben Kimock | -0/+7 |
| 2023-01-17 | Stop using `BREAK` & `CONTINUE` in compiler | Scott McMurray | -4/+4 |
| 2023-01-17 | Rollup merge of #106980 - Nilstrieb:_use_mk_manual_debug_impl_instead, r=lcnr | Matthias Krüger | -1/+10 |
| 2023-01-17 | Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 | Matthias Krüger | -2/+2 |
| 2023-01-17 | Hide `_use_mk_alias_ty_instead` in `<AliasTy as Debug>::fmt` | nils | -1/+10 |
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -2/+2 |
| 2023-01-13 | Unify Opaque/Projection handling in region outlives code | Michael Goulet | -0/+1 |
| 2022-12-18 | Make `#[debug_format]` an attribute in `newtype_index` | Nilstrieb | -6/+0 |
| 2022-12-13 | Combine identical alias arms | Michael Goulet | -10/+2 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -5/+9 |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -3/+3 |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -2/+4 |
| 2022-11-25 | Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwU | bors | -0/+6 |
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -0/+6 |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -4/+12 |
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -0/+1 |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally al... | Oli Scherer | -0/+1 |
| 2022-11-19 | drive-by: PolyExistentialPredicate | Michael Goulet | -1/+1 |
| 2022-11-07 | Add an optional Span to BrAnon and use it to print better error for HRTB erro... | Jack Huey | -1/+1 |
| 2022-11-04 | Refactor tcx mk_const parameters. | Mateusz | -1/+1 |
| 2022-11-02 | deprecate DelaySpanBugEmitted and use ErrorGuaranteed directly | yukang | -1/+0 |
| 2022-10-19 | stop folding `UnevaluatedConst` | lcnr | -21/+0 |
| 2022-10-18 | change `ConstEvaluatable` to use `ty::Const` | lcnr | -2/+2 |
| 2022-09-24 | Rollup merge of #102088 - oli-obk:cleanups, r=bjorn3 | Matthias Krüger | -1/+4 |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -5/+5 |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -19/+3 |
| 2022-09-21 | Fix wrongly refactored Lift impl | Oli Scherer | -1/+4 |
