| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-04 | Remove Symbol for Named LateParam/Bound variants | Michael Goulet | -4/+4 | |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -18/+17 | |
| 2025-01-15 | avoid running the overlap check twice | lcnr | -4/+0 | |
| 2024-10-15 | remove unnecessary revisions | lcnr | -7/+9 | |
| 2024-10-15 | stabilize `-Znext-solver=coherence` | lcnr | -13/+18 | |
| 2024-09-27 | Rollup merge of #130718 - jackh726:known-bug-cleanup, r=compiler-errors | Matthias Krüger | -1/+1 | |
| Cleanup some known-bug issues I went through most of the known-bug tests (except those under `tests/crashes`) and made sure the issue had the `S-bug-has-test` label and checked that the linked issue was open. This is a bunch of cleanups, mainly issues that have been closed and the tests should have been updated. Importantly, there are many known-bug tests linking to #110395. This *probably* isn't right - that is a tracking issue. But I don't really know what the "right" thing to do here. Probably, most that are actually *supposed* to be tests for const trait need to be linked to *that* tracking issue. And any other tests that were mislabeled need to be handled accordingly e.g. #130482. cc `@fee1-dead` | ||||
| 2024-09-27 | Cleanup some known-bug issues | Jack Huey | -1/+1 | |
| 2024-09-27 | On implicit `Sized` bound on fn argument, point at type instead of pattern | Esteban Küber | -2/+2 | |
| Instead of ``` error[E0277]: the size for values of type `(dyn ThriftService<(), AssocType = _> + 'static)` cannot be known at compilation time --> $DIR/issue-59324.rs:23:20 | LL | fn with_factory<H>(factory: dyn ThriftService<()>) {} | ^^^^^^^ doesn't have a size known at compile-time ``` output ``` error[E0277]: the size for values of type `(dyn ThriftService<(), AssocType = _> + 'static)` cannot be known at compilation time --> $DIR/issue-59324.rs:23:29 | LL | fn with_factory<H>(factory: dyn ThriftService<()>) {} | ^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time ``` | ||||
| 2024-09-11 | Revert 'Stabilize -Znext-solver=coherence' | Michael Goulet | -23/+16 | |
| 2024-09-05 | remove unnecessary revisions | lcnr | -7/+9 | |
| 2024-09-05 | stabilize `-Znext-solver=coherence` | lcnr | -13/+18 | |
| 2024-07-12 | rustc_type_ir: derivative -> derive-where | Pavel Grigorenko | -12/+12 | |
| 2024-06-19 | rustc_type_ir: Omit some struct fields from Debug output | León Orell Valerian Liehr | -12/+12 | |
| 2024-06-12 | better error message for normalizes-to ambiguities | Michael Goulet | -3/+3 | |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -2/+2 | |
| 2024-06-11 | Remove DebugWithInfcx | Michael Goulet | -12/+12 | |
| 2024-05-30 | update UI tests | lcnr | -12/+12 | |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -1/+1 | |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -1/+1 | |
| 2024-03-18 | update region debug formatting | Boxy | -12/+12 | |
| 2024-02-26 | update tests | lcnr | -7/+3 | |
| 2024-02-20 | some type system cleanup | lcnr | -16/+16 | |
| 2024-02-19 | Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU | bors | -8/+8 | |
| deduplicate infer var instantiation Having 3 separate implementations of one of the most subtle parts of our type system is not a good strategy if we want to maintain a sound type system :sparkles: while working on this I already found some subtle bugs in the existing code, so that's awesome :tada: cc #121159 This was necessary as I am not confident in my nll changes in #119106, so I am first cleaning this up in a separate PR. r? `@BoxyUwU` | ||||
| 2024-02-17 | move ty var instantiation into the generalize module | lcnr | -8/+8 | |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -6/+6 | |
| 2024-02-14 | Continue compilation after check_mod_type_wf errors | Oli Scherer | -2/+10 | |
| 2024-02-05 | Stop bailing out from compilation just because there were incoherent traits | Oli Scherer | -3/+11 | |
| 2023-12-15 | Add higher_ranked to relate submodule | Michael Goulet | -8/+8 | |
| 2023-12-15 | Move type relations into submodule in rustc_infer | Michael Goulet | -8/+8 | |
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 | |
| 2023-12-04 | rebase | lcnr | -11/+11 | |
| 2023-12-04 | cleanup and comments | lcnr | -0/+144 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |