Nicholas Nethercote 3399ed3c9a Simplify type_of_opaque. ...

There is a bunch of complexity supporting the "cannot check whether the
hidden type of opaque type satisfies auto traits" error that shows up in
`tests/ui/impl-trait/auto-trait-leak.rs`. This is an obscure error that
shows up in a single test. If we are willing to downgrade that error
message to a cycle error, we can do the following.

- Simplify the `type_of_opaque` return value.
- Remove the `cycle_stash` query modifier.
- Remove the `CyclePlaceholder` type.
- Remove the `SelectionError::OpaqueTypeAutoTraitLeakageUnknown`
  variant.
- Remove a `FromCycleError` impl.
- Remove `report_opaque_type_auto_trait_leakage`.
- Remove the `StashKey::Cycle` variant.
- Remove the `CycleErrorHandling::Stash` variant.

That's a lot! I think this is a worthwhile trade-off.

2026-03-11 21:54:42 +11:00

..

src

Simplify type_of_opaque.

2026-03-11 21:54:42 +11:00

build.rs

Improved the compiler code with clippy

2024-04-24 09:41:44 +02:00

Cargo.toml

Add verification for inline fluent messages

2026-02-01 11:12:10 +01:00