Matthias Krüger 5cab70ed7f

Rollup merge of #141362 - BoxyUwU:correct_error_term_kind, r=lcnr ...

Normalize aliases to correct kind of error term

Fixes #140642

When normalizing an alias to an error in the old solver, normalize to the same term kind as the alias being normalized instead of always to a type error.

r? lcnr

2025-05-22 16:04:12 +02:00

..

src

Rollup merge of #141362 - BoxyUwU:correct_error_term_kind, r=lcnr

2025-05-22 16:04:12 +02:00

Cargo.toml

support duplicates in the opaque_types_storage

2025-05-06 14:59:09 +00:00

messages.ftl

Disarm time bomb (diagnostics)

2025-05-09 12:09:15 +02:00