| Age | Commit message (Expand) | Author | Lines |
| 2025-01-23 | add cache to `AmbiguityCausesVisitor` | lcnr | -2/+12 |
| 2025-01-23 | avoid running the overlap check twice | lcnr | -22/+33 |
| 2025-01-23 | Make sure to record deps from cached task in new solver on first run | Michael Goulet | -4/+1 |
| 2024-11-20 | Rip out built-in PointerLike impl | Michael Goulet | -31/+0 |
| 2024-11-19 | additional `TypingEnv` cleanups | lcnr | -6/+5 |
| 2024-11-19 | rustdoc: yeet `TypingEnv::from_param_env` | lcnr | -9/+4 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -21/+35 |
| 2024-11-12 | Handle infer vars in anon consts on stable | Boxy | -9/+21 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -74/+280 |
| 2024-11-06 | Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnr | bors | -6/+18 |
| 2024-11-05 | Only disable cache if predicate has opaques within it | Michael Goulet | -6/+18 |
| 2024-11-05 | Auto merge of #132580 - compiler-errors:globs, r=Noratrieb | bors | -13/+15 |
| 2024-11-04 | Rollup merge of #132486 - compiler-errors:no-binder, r=lcnr | Matthias Krüger | -9/+3 |
| 2024-11-04 | ty::BrK -> ty::BoundRegionKind::K | Michael Goulet | -7/+9 |
| 2024-11-04 | Remove the trivial constkind imports | Michael Goulet | -6/+6 |
| 2024-11-03 | Rename the FIXMEs, remove a few that dont matter anymore | Michael Goulet | -3/+1 |
| 2024-11-02 | compiler: Replace rustc_target with _abi in _trait_selection | Jubilee Young | -1/+1 |
| 2024-11-02 | No need to instantiate binder in confirm_async_closure_candidate | Michael Goulet | -9/+3 |
| 2024-10-31 | normalization folders, yeet `ParamEnv::reveal` | lcnr | -24/+31 |
| 2024-10-31 | traits::project: yeet `ParamEnv::reveal` | lcnr | -13/+16 |
| 2024-10-30 | Rollup merge of #132344 - compiler-errors:same-thing, r=lcnr | Jubilee | -2/+3 |
| 2024-10-30 | Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errors | Jubilee | -5/+5 |
| 2024-10-30 | Merge HostPolarity and BoundConstness | Michael Goulet | -2/+3 |
| 2024-10-29 | compiler: `rustc_abi::Abi` => `BackendRepr` | Jubilee Young | -5/+5 |
| 2024-10-29 | rebase | lcnr | -2/+3 |
| 2024-10-29 | TypingMode :thinking: | lcnr | -126/+92 |
| 2024-10-28 | Hack out effects support for old solver | Michael Goulet | -8/+196 |
| 2024-10-27 | Remove ObligationCause::span() method | Michael Goulet | -3/+3 |
| 2024-10-25 | tcx.is_const_fn doesn't work the way it is described, remove it | Ralf Jung | -2/+2 |
| 2024-10-24 | Auto merge of #131985 - compiler-errors:const-pred, r=fee1-dead | bors | -7/+30 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -3/+28 |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -4/+2 |
| 2024-10-24 | Consider param-env candidates even if they have errors | Michael Goulet | -1/+0 |
| 2024-10-23 | nightly feature tracking: get rid of the per-feature bool fields | Ralf Jung | -16/+16 |
| 2024-10-21 | Auto merge of #131840 - compiler-errors:impossible-maybe, r=lcnr | bors | -12/+14 |
| 2024-10-21 | normalizes-to disable infer var check | lcnr | -0/+2 |
| 2024-10-21 | Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgr | bors | -341/+24 |
| 2024-10-20 | Rip out old effects var handling code from traits | Michael Goulet | -341/+24 |
| 2024-10-19 | Fix transmute goal | Michael Goulet | -5/+21 |
| 2024-10-19 | Rename normalize to normalize_internal, remove unnecessary usages | Michael Goulet | -3/+3 |
| 2024-10-18 | Rollup merge of #131864 - lrh2000:upcast_reorder, r=WaffleLapkin | 许杰友 Jieyou Xu (Joe) | -6/+5 |
| 2024-10-18 | Never emit `vptr` for empty/auto traits | Ruihan Li | -6/+5 |
| 2024-10-17 | Allow dropping dyn principal | Michael Goulet | -1/+5 |
| 2024-10-17 | Dont consider predicates that may hold as impossible in is_impossible_associa... | Michael Goulet | -12/+14 |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -20/+20 |
| 2024-10-17 | `DropckOutlives` to `rustc_middle` | lcnr | -26/+8 |
| 2024-10-17 | `ImpliedOutlivesBounds` to `rustc_middle` | lcnr | -17/+6 |
| 2024-10-16 | Auto merge of #131422 - GnomedDev:smallvec-predicate-obligations, r=compiler-... | bors | -133/+165 |
| 2024-10-15 | Auto merge of #130654 - lcnr:stabilize-coherence-again, r=compiler-errors | bors | -3/+1 |
| 2024-10-15 | stabilize `-Znext-solver=coherence` | lcnr | -3/+1 |