| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-07 | Rename `adjustment::PointerCast` and variants using it to `PointerCoercion` | Nilstrieb | -1/+1 |
| 2023-07-05 | Deal with fallout | Boxy | -2/+26 |
| 2023-07-05 | move `ConstKind` to typeir and move inherent impls to `Const` | Boxy | -18/+0 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -1/+1 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -3/+0 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -3/+3 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -9/+0 |
| 2023-06-22 | Expect clause more | Michael Goulet | -4/+1 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -0/+9 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -0/+25 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -8/+8 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -3/+3 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -1/+1 |
| 2023-05-26 | better `TyKind::Debug` | Boxy | -7/+52 |
| 2023-05-16 | format `Const`'s less verbosely | Boxy | -0/+38 |
| 2023-05-13 | Implement references VarDebugInfo. | Camille GILLOT | -0/+1 |
| 2023-04-27 | Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnr | Matthias Krüger | -20/+0 |
| 2023-04-26 | Remove unused `TypeFoldable`/`TypeVisitable` impls. | Nicholas Nethercote | -20/+0 |
| 2023-04-25 | vars are ? | Michael Goulet | -1/+1 |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -1/+1 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -1/+1 |
| 2023-04-17 | Rollup merge of #110386 - nnethercote:clean-up-traversal-macros, r=lcnr | Matthias Krüger | -3/+1 |
| 2023-04-16 | Simplify `CloneLiftImpls` and `TrivialTypeTraversalImpls`. | Nicholas Nethercote | -3/+1 |
| 2023-04-16 | Remove `TypeSuper{Foldable,Visitable}` impls for `Region`. | Nicholas Nethercote | -18/+0 |
| 2023-04-06 | Remove index from BrAnon | Jack Huey | -1/+1 |
| 2023-04-06 | Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR... | Jack Huey | -2/+2 |
| 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 |
