| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -1/+1 |
| 2025-01-28 | Make item self/non-self bound naming less whack | Michael Goulet | -2/+2 |
| 2025-01-21 | Move supertrait_def_ids into the elaborate module like all other fns | Michael Goulet | -4/+5 |
| 2025-01-18 | Get rid of `ToPolyTraitRef` | Michael Goulet | -5/+7 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -1/+13 |
| 2024-12-31 | Make sure we check the future type is Sized in AsyncFn* | Michael Goulet | -3/+20 |
| 2024-12-27 | Rollup merge of #134823 - chloefeal:fix, r=tgross35,dtolnay | David Tolnay | -1/+1 |
| 2024-12-27 | Fix typos | chloefeal | -1/+1 |
| 2024-12-26 | Make ty::Error implement auto traits | Michael Goulet | -1/+3 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -2/+17 |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -2/+1 |
| 2024-12-17 | consistently handle global where-bounds | lcnr | -305/+241 |
| 2024-12-12 | Rollup merge of #133122 - compiler-errors:afidt, r=oli-obk | Matthias Krüger | -0/+79 |
| 2024-12-11 | Rename projection_def_id to item_def_id | Michael Goulet | -1/+1 |
| 2024-12-10 | Don't check RPITITs that are Self:Sized for PointerLike | Michael Goulet | -0/+5 |
| 2024-12-10 | Implement projection and shim for AFIDT | Michael Goulet | -0/+74 |
| 2024-12-07 | Make `Copy` unsafe to implement for ADTs with `unsafe` fields | Jack Wrenn | -2/+0 |
| 2024-12-05 | do not implement unsafe auto traits for types with unsafe fields | Jack Wrenn | -0/+9 |
| 2024-12-05 | Auto merge of #133893 - fmease:rollup-11pi6fg, r=fmease | bors | -52/+2 |
| 2024-12-04 | No need to create placeholders for GAT args in confirm_object_candidate | Michael Goulet | -52/+2 |
| 2024-12-04 | Make sure to record deps from cached task in new solver on first run | Michael Goulet | -4/+1 |
| 2024-12-03 | Remove generic_associated_types_extended feature gate | Michael Goulet | -1/+1 |
| 2024-12-02 | Auto merge of #133626 - lcnr:fix-diesel, r=BoxyUwU | bors | -6/+11 |
| 2024-11-29 | check local cache even if global is usable | lcnr | -6/+11 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -1/+6 |
| 2024-11-28 | uplift fold_regions to rustc_type_ir | lcnr | -1/+2 |
| 2024-11-23 | Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwU | bors | -30/+49 |
| 2024-11-23 | global old solver cache: use `TypingEnv` | lcnr | -20/+41 |
| 2024-11-23 | no more Reveal :( | lcnr | -10/+8 |
| 2024-11-23 | Rollup merge of #133366 - compiler-errors:expected-found, r=dtolnay | 许杰友 Jieyou Xu (Joe) | -2/+2 |
| 2024-11-23 | Remove unnecessary bool from ExpectedFound | Michael Goulet | -2/+2 |
| 2024-11-21 | Stop being so bail-y in candidate assembly | Michael Goulet | -32/+0 |
| 2024-11-20 | Rip out built-in PointerLike impl | Michael Goulet | -31/+0 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -5/+9 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -11/+12 |
| 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 | -9/+11 |
| 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 | -6/+8 |
| 2024-11-04 | Remove the trivial constkind imports | Michael Goulet | -3/+3 |
| 2024-11-03 | Rename the FIXMEs, remove a few that dont matter anymore | Michael Goulet | -2/+0 |
| 2024-11-02 | No need to instantiate binder in confirm_async_closure_candidate | Michael Goulet | -9/+3 |
| 2024-10-29 | TypingMode :thinking: | lcnr | -65/+39 |
| 2024-10-28 | Hack out effects support for old solver | Michael Goulet | -6/+14 |
| 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 | -3/+9 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -0/+7 |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -3/+2 |
| 2024-10-24 | Consider param-env candidates even if they have errors | Michael Goulet | -1/+0 |
