| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-14 | Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -7/+3 |
| 2024-08-12 | Rollup merge of #128912 - compiler-errors:do-not-recommend-impl, r=lcnr | Matthias Krüger | -5/+1 |
| 2024-08-12 | do not use the global solver cache for proof trees | lcnr | -7/+3 |
| 2024-08-11 | Use assert_matches around the compiler | Michael Goulet | -3/+6 |
| 2024-08-09 | Store do_not_recommend-ness in impl header | Michael Goulet | -5/+1 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -9/+9 |
| 2024-07-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -1/+2 |
| 2024-07-18 | valtree construction: keep track of which type was valtree-incompatible | Ralf Jung | -2/+2 |
| 2024-07-09 | Split out overflow handling into its own module | Michael Goulet | -1/+1 |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -1/+1 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -8/+0 |
| 2024-07-07 | Finish uplifting supertraits | Michael Goulet | -8/+0 |
| 2024-07-07 | Get rid of trait_ref_is_knowable from delegate | Michael Goulet | -10/+0 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -169/+2 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -6/+6 |
| 2024-06-18 | Fix transmute goal | Michael Goulet | -1/+27 |
| 2024-06-18 | Fix impl for SolverDelegate | Michael Goulet | -76/+297 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -7260/+0 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -148/+339 |
| 2024-06-18 | Make SearchGraph fully generic | Michael Goulet | -73/+49 |
| 2024-06-16 | Uplift OpaqueTypeKey too, use it in response | Michael Goulet | -9/+3 |
| 2024-06-16 | Uplift ExternalConstraintData | Michael Goulet | -15/+27 |
| 2024-06-16 | Make ExternalConstraints just carry outlives | Michael Goulet | -18/+22 |
| 2024-06-16 | Stop using AssocKind in new solver | Michael Goulet | -13/+11 |
| 2024-06-16 | Move InferCtxtSelectExt out of eval_ctxt module | Michael Goulet | -3/+3 |
| 2024-06-16 | Auto merge of #126505 - compiler-errors:no-vtable, r=lcnr | bors | -60/+21 |
| 2024-06-15 | Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr | Guillaume Gomez | -143/+151 |
| 2024-06-15 | Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnr | Guillaume Gomez | -1/+40 |
| 2024-06-15 | Rollup merge of #126354 - compiler-errors:variance, r=lcnr | Matthias Krüger | -4/+4 |
| 2024-06-14 | Only compute vtable information during codegen | Michael Goulet | -60/+21 |
| 2024-06-14 | Correctly consider depth when visiting WF goals | Michael Goulet | -3/+18 |
| 2024-06-14 | Add TyCtxt::is_lang_item | Michael Goulet | -38/+36 |
| 2024-06-14 | Make proof tree probing generic | Michael Goulet | -38/+45 |
| 2024-06-14 | Make Candidate generic over interner | Michael Goulet | -106/+107 |
| 2024-06-13 | Address nits | Michael Goulet | -23/+30 |
| 2024-06-13 | Fix some TODOs | Michael Goulet | -5/+4 |
| 2024-06-13 | Finish uplifting all of structural_traits | Michael Goulet | -187/+156 |
| 2024-06-13 | Rework most of structural_traits to be Interner-agnostic | Michael Goulet | -103/+114 |
| 2024-06-13 | LangItem-ify Coroutine trait in solvers | Michael Goulet | -5/+8 |
| 2024-06-13 | Check that alias-relate terms are WF if reporting an error in alias-relate | Michael Goulet | -0/+24 |
| 2024-06-12 | Also passthrough for projection clauses | Michael Goulet | -1/+3 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -7/+15 |
| 2024-06-12 | Use Variance glob import everywhere | Michael Goulet | -4/+4 |
| 2024-06-11 | Try not to make obligations in handle_opaque_type | Michael Goulet | -8/+7 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -4/+4 |
| 2024-06-05 | Fully implement `ConstArgHasType` | Boxy | -17/+24 |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -3/+10 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -28/+17 |
| 2024-06-04 | Rollup merge of #125750 - compiler-errors:expect, r=lcnr | 许杰友 Jieyou Xu (Joe) | -2/+2 |
| 2024-06-04 | Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obk | bors | -3/+3 |
