Jana Dönszelmann decec173ec remove AttributeKind everywhere

2026-02-20 09:50:16 +01:00

..

error_reporting

remove AttributeKind everywhere

2026-02-20 09:50:16 +01: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

remove AttributeKind everywhere

2026-02-20 09:50:16 +01:00

errors.rs

Make all multipart suggestions verbose

2026-02-18 18:33:35 +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