| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-02-13 | Rollup merge of #136951 - compiler-errors:clause-binder, r=lqd | Jubilee | -2/+2 |
| 2025-02-13 | Use BikeshedGuaranteedNotDrop in unsafe binder type WF too | Michael Goulet | -1/+4 |
| 2025-02-13 | Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validity | Michael Goulet | -1/+143 |
| 2025-02-12 | Use the right binder for rebinding PolyTraitRef | Michael Goulet | -2/+2 |
| 2025-02-12 | Rollup merge of #136838 - compiler-errors:escaping-unsize, r=fmease | Guillaume Gomez | -2/+3 |
| 2025-02-11 | Make DeeplyNormalize a real type op | Michael Goulet | -3/+55 |
| 2025-02-11 | Rollup merge of #136584 - oli-obk:pattern-types-generic, r=BoxyUwU | Matthias Krüger | -2/+42 |
| 2025-02-10 | Check whole Unsize predicate for escaping bound vars | Michael Goulet | -2/+3 |
| 2025-02-08 | Rustfmt | bjorn3 | -119/+157 |
| 2025-02-06 | stabilize `feature(trait_upcasting)` | Waffle Lapkin | -62/+1 |
| 2025-02-06 | Rollup merge of #136311 - compiler-errors:vtable-fixes-2, r=lcnr | Matthias Krüger | -5/+21 |
| 2025-02-06 | Prevent generic pattern types from being used in libstd | Oli Scherer | -2/+42 |
| 2025-02-04 | Remove unnecessary layout assertions for object-safe receivers | Michael Goulet | -105/+2 |
| 2025-02-02 | Rollup merge of #136279 - Zalathar:ensure-ok, r=oli-obk | Matthias Krüger | -3/+3 |
| 2025-02-01 | Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obk | Matthias Krüger | -2/+19 |
| 2025-02-01 | Rename `tcx.ensure()` to `tcx.ensure_ok()` | Zalathar | -3/+3 |
| 2025-02-01 | Rollup merge of #135900 - compiler-errors:derive-wf, r=lcnr | Matthias Krüger | -12/+11 |
| 2025-01-31 | Ensure that we never try to monomorphize the upcasting of impossible dyn types | Michael Goulet | -5/+21 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -6/+10 |
| 2025-01-31 | Move fulfillment error derivation into new module | Michael Goulet | -6/+1 |
| 2025-01-31 | Enforce unsafe binders must be Copy (for now) | Michael Goulet | -2/+19 |
| 2025-01-31 | Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxu | Matthias Krüger | -4/+4 |
| 2025-01-31 | Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnr | bors | -112/+63 |
| 2025-01-30 | More assertions, tests, and miri coverage | Michael Goulet | -34/+23 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -3/+3 |
| 2025-01-30 | Normalize vtable entries before walking and deduplicating them | Michael Goulet | -21/+12 |
| 2025-01-30 | Do not treat vtable supertraits as distinct when bound with different bound vars | Michael Goulet | -73/+59 |
| 2025-01-30 | Rework rustc_dump_vtable | Michael Goulet | -16/+1 |
| 2025-01-30 | Auto merge of #136038 - compiler-errors:outlives, r=lcnr | bors | -69/+28 |
| 2025-01-29 | Rollup merge of #136205 - compiler-errors:len-3, r=BoxyUwU | Matthias Krüger | -1/+1 |
| 2025-01-29 | Auto merge of #136225 - fmease:rollup-fm7m744, r=fmease | bors | -2/+2 |
| 2025-01-29 | Rollup merge of #135902 - compiler-errors:item-non-self-bound-in-new-solver, ... | León Orell Valerian Liehr | -2/+2 |
| 2025-01-29 | Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726 | bors | -14/+10 |
| 2025-01-28 | Make item self/non-self bound naming less whack | Michael Goulet | -2/+2 |
| 2025-01-28 | Move outlives env computation into methods | Michael Goulet | -19/+6 |
| 2025-01-28 | Consolidate OutlivesEnv construction with resolve_regions | Michael Goulet | -61/+33 |
| 2025-01-28 | Properly check that array length is valid type during built-in unsizing in index | Michael Goulet | -1/+1 |
| 2025-01-26 | Compiler: Finalize dyn compatibility renaming | León Orell Valerian Liehr | -4/+4 |
| 2025-01-25 | Pass spans to perform_locally_in_new_solver | Michael Goulet | -15/+26 |
| 2025-01-24 | Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack... | Michael Goulet | -14/+10 |
| 2025-01-23 | Remove query normalize from dropck outlives type op | Michael Goulet | -10/+14 |
| 2025-01-22 | Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnr | Matthias Krüger | -51/+39 |
| 2025-01-22 | Refactor dyn-compatibility error and suggestions | Taylor Cramer | -1/+0 |
| 2025-01-22 | Rename `structurally_normalize` to `structurally_normalize_ty` | Boxy | -4/+4 |
| 2025-01-22 | Use `structurally_normalize` instead of manual `normalizes-to` goals | Boxy | -47/+35 |
| 2025-01-21 | Move supertrait_def_ids into the elaborate module like all other fns | Michael Goulet | -9/+11 |
| 2025-01-21 | Auto merge of #133830 - compiler-errors:span-key, r=lcnr | bors | -146/+69 |
| 2025-01-18 | Get rid of `ToPolyTraitRef` | Michael Goulet | -5/+7 |
| 2025-01-18 | Rollup merge of #135639 - lqd:trivial-builtin-impls, r=lcnr | Matthias Krüger | -2/+2 |
| 2025-01-18 | Auto merge of #135618 - lcnr:coherence-unknown, r=compiler-errors | bors | -24/+45 |
