Michael Goulet 88eae31261

Rollup merge of #124381 - compiler-errors:derived-for-wf, r=lcnr ...

Renamed `DerivedObligation` to `WellFormedDeriveObligation`

It's used when computing `WellFormed` obligations, so let's give it a less ambiguous name.

2024-04-25 20:07:41 -04:00

..

src

Rollup merge of #124381 - compiler-errors:derived-for-wf, r=lcnr

2024-04-25 20:07:41 -04: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