Closed
Description
I tried this code:
I expected to see this happen:
The code compiles successfully
Instead, this happened:
There are two errors, despite the error sites apparently being no different from the successfully compiled ones, aside from the presence of generic type inference.
I couldn't get this to happen with a user-defined trait, so it may be related to Pointee
's magic implementations. On the other hand, it may be possible to trigger via user code and I just couldn't find an example.
Meta
Playground Nightly Version Used:
2021-12-01 48a5999fceeea84a8971