Matthias Krüger f76c8f7f77

Rollup merge of #124759 - compiler-errors:impl-args, r=lcnr ...

Record impl args in the proof tree in new solver

Rather than rematching them during select.

Also use `ImplSource::Param` instead of `ImplSource::Builtin` for alias-bound candidates, so we don't ICE in `Instance::resolve`.

r? lcnr

2024-05-06 21:46:05 +02:00

..

src

Rollup merge of #124759 - compiler-errors:impl-args, r=lcnr

2024-05-06 21:46:05 +02:00

Cargo.toml

bump itertools to 0.12

2024-03-08 12:34:05 +03:00

messages.ftl

Make #[diagnostic::on_unimplemented] format string parsing more robust

2024-03-21 08:27:26 +01:00