Takayuki Maeda ca74063cea simplify test case and add revisions for both solvers ...

remove *

2026-03-02 17:55:10 +09:00

..

error_reporting

simplify test case and add revisions for both solvers

2026-03-02 17:55:10 +09:00

errors

Rename inline_fluent! to msg!

2026-02-14 13:47:52 +01:00

solve

-Znext-solver Prevent committing unfulfilled unsized coercion

2026-02-13 00:57:01 +09:00

traits

Auto merge of #153050 - JayanAXHF:refactor/change-is-type-const, r=BoxyUwU

2026-02-28 18:27:06 +00:00

errors.rs

Auto merge of #153217 - JonathanBrouwer:rollup-iXVG70B, r=JonathanBrouwer

2026-02-28 12:23:16 +00:00

infer.rs

rename select_where_possible and select_all_or_error

2025-10-07 23:02:23 +01:00

lib.rs

if let guard stabilize

2026-02-16 12:24:15 +00:00

opaque_types.rs

change non-defining use error message

2025-08-25 14:20:18 +02:00

regions.rs

remove outdated context (inner) infctx

2025-09-30 21:56:06 +02:00

solve.rs

cleanup proof tree implementation and add cache

2025-08-29 09:35:37 +02:00