| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-09-06 | Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnr | bors | -8/+22 |
| 2024-09-05 | stabilize `-Znext-solver=coherence` | lcnr | -3/+1 |
| 2024-09-03 | do not attempt to prove unknowable goals | lcnr | -72/+66 |
| 2024-09-03 | Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgau | bors | -16/+16 |
| 2024-09-03 | Add `warn(unreachable_pub)` to `rustc_trait_selection`. | Nicholas Nethercote | -16/+16 |
| 2024-09-02 | Rollup merge of #129878 - Sajjon:sajjon_fix_typos_batch_3, r=jieyouxu | Matthias Krüger | -3/+3 |
| 2024-09-02 | Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidates | Bryanskiy | -8/+22 |
| 2024-09-02 | chore: Fix typos in 'compiler' (batch 3) | Alexander Cyon | -3/+3 |
| 2024-09-01 | Revert "Auto merge of #127537 - veluca93:struct_tf, r=BoxyUwU" | Jakub Beránek | -2/+0 |
| 2024-08-31 | Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxu | Matthias Krüger | -0/+23 |
| 2024-08-31 | Rollup merge of #129725 - compiler-errors:predicates-of, r=fmease | Matthias Krüger | -16/+11 |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+23 |
| 2024-08-29 | Stop using ty::GenericPredicates for non-predicates_of queries | Michael Goulet | -16/+11 |
| 2024-08-28 | Implement RFC 3525. | Luca Versari | -0/+2 |
| 2024-08-21 | Simplify some redundant field names | Michael Goulet | -1/+1 |
| 2024-08-19 | Rollup merge of #129217 - jswrenn:transmute-lifetimes, r=compiler-errors | Matthias Krüger | -73/+103 |
| 2024-08-18 | safe transmute: forbid reference lifetime extension | Jack Wrenn | -73/+103 |
| 2024-08-18 | Fix order of normalization and recursion in const folding. | Luca Versari | -4/+4 |
| 2024-08-15 | Rollup merge of #129078 - lcnr:scrape_region_constraints-use-ocx, r=compiler-... | Jubilee | -35/+3 |
| 2024-08-15 | Rollup merge of #129106 - compiler-errors:unused-type-ops, r=jieyouxu | Matthias Krüger | -65/+0 |
| 2024-08-14 | Remove redundant type ops | Michael Goulet | -65/+0 |
| 2024-08-14 | if we have an `ocx`, use it | lcnr | -35/+3 |
| 2024-08-14 | Auto merge of #129076 - matthiaskrgr:rollup-rg8mi2x, r=matthiaskrgr | bors | -2/+2 |
| 2024-08-14 | Rollup merge of #129061 - compiler-errors:lang-item, r=Urgau | Matthias Krüger | -2/+2 |
| 2024-08-14 | Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errors | bors | -16/+16 |
| 2024-08-13 | Use is_lang_item more | Michael Goulet | -2/+2 |
| 2024-08-12 | Rollup merge of #128712 - compiler-errors:normalize-borrowck, r=lcnr | Matthias Krüger | -3/+3 |
| 2024-08-12 | Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxu | Guillaume Gomez | -1/+3 |
| 2024-08-11 | Remove struct_tail_no_normalization | Michael Goulet | -2/+2 |
| 2024-08-11 | Rename normalization functions to raw | Michael Goulet | -1/+1 |
| 2024-08-11 | Use assert_matches around the compiler | Michael Goulet | -1/+3 |
| 2024-08-10 | Auto merge of #128746 - compiler-errors:cache-super-outlives, r=lcnr | bors | -26/+16 |
| 2024-08-09 | Shrink `TyKind::FnPtr`. | Nicholas Nethercote | -16/+16 |
| 2024-08-08 | Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement Fn | Michael Goulet | -2/+14 |
| 2024-08-06 | Cache supertrait outlives of impl header for soundness check | Michael Goulet | -26/+16 |
| 2024-08-05 | Auto merge of #128689 - matthiaskrgr:rollup-ukyn8wq, r=matthiaskrgr | bors | -1/+1 |
| 2024-08-05 | Don't re-elaborated already elaborated caller bounds in method probe | Michael Goulet | -1/+1 |
| 2024-08-05 | Elaborate supertraits in dyn candidates | Michael Goulet | -0/+1 |
| 2024-08-05 | Enforce supertrait outlives obligations hold when confirming impl | Michael Goulet | -2/+32 |
| 2024-07-31 | Add special-case for [T, 0] in dropck | Bryanskiy | -2/+9 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -266/+240 |
| 2024-07-26 | Make coroutine-closures possible to be cloned | Michael Goulet | -2/+15 |
| 2024-07-26 | Rollup merge of #126090 - compiler-errors:supertrait-assoc-ty-unsoundness, r=... | Matthias Krüger | -114/+194 |
| 2024-07-25 | Rollup merge of #128160 - compiler-errors:auto, r=jackh726 | Matthias Krüger | -0/+6 |
| 2024-07-24 | Don't ICE when auto trait has assoc ty in old solver | Michael Goulet | -0/+6 |
| 2024-07-24 | Do not assemble candidates for auto traits of opaque types in their defining ... | Oli Scherer | -1/+6 |
| 2024-07-24 | Do not try to reveal hidden types when trying to prove Freeze in the defining... | Oli Scherer | -7/+11 |
| 2024-07-24 | Don't use global caches if opaques can be defined | Oli Scherer | -1/+7 |
| 2024-07-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -6/+6 |
| 2024-07-21 | Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-... | bors | -24/+87 |
