| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-18 | support calls on opaque types :< | lcnr | -9/+13 | |
| 2025-06-26 | Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU | Michael Goulet | -1/+3 | |
| Add note to `find_const_ty_from_env` Add a note to `find_const_ty_from_env` to explain why it has an `unwrap` which "often" causes ICEs. Also, uplift it into the new trait solver. This avoids needing to go through the interner to call this method which is otherwise an inherent method in the compiler. I can remove this part if desired. r? `@boxyuwu` | ||||
| 2025-06-23 | Simplify API of solver a bit | Michael Goulet | -12/+6 | |
| 2025-06-23 | Add note to find_const_ty_from_env | Michael Goulet | -1/+3 | |
| 2025-06-06 | Filter out universals and lifetimes from stalled_vars | Michael Goulet | -2/+4 | |
| 2025-05-26 | Don't rerun goals if none of its vars have changed | Michael Goulet | -10/+14 | |
| 2025-05-07 | Use MaybeCause::or to allow constraints from overflows if they are combined ↵ | Michael Goulet | -1/+7 | |
| with ambiguity | ||||
| 2025-04-30 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -1/+1 | |
| This commit does the following: - Replaces use of rustc_type_ir by rustc_middle - Removes the rustc_type_ir dependency - The DelayedSet type is exposed by rustc_middle so everything can be accessed through rustc_middle in a coherent manner. | ||||
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -4/+4 | |
| 2025-04-23 | Auto merge of #138845 - compiler-errors:stall-generators, r=lcnr | bors | -2/+8 | |
| Properly stall coroutine witnesses in new solver TODO: write description r? lcnr | ||||
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -2/+8 | |
| 2025-04-22 | Use `is_lang_item` and `as_lang_item` instead of handrolling their logic | Oli Scherer | -3/+3 | |
| 2025-04-10 | Deeply normalize obligations in BestObligation | Michael Goulet | -6/+13 | |
| 2025-04-10 | Simplify | Michael Goulet | -30/+22 | |
| 2025-04-09 | Report higher-ranked trait error when higher-ranked projection goal fails in ↵ | Michael Goulet | -3/+33 | |
| new solver | ||||
| 2025-03-23 | Obligation::as_goal | Michael Goulet | -4/+4 | |
| 2025-03-05 | change definitely non-productive cycles to error | lcnr | -1/+1 | |
| 2025-02-28 | normalizing where-clauses is also coinductive, add tests | lcnr | -1/+4 | |
| 2025-02-13 | adjust derive_error | lcnr | -25/+103 | |
| 2025-02-08 | Rustfmt | bjorn3 | -4/+4 | |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -1/+5 | |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -16/+44 | |
| 2025-01-31 | Move fulfillment error derivation into new module | Michael Goulet | -0/+499 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |