The list of trait implementations in the left panel includes OIBITs that are explicitly not implemented, without indicating that it's a negative impl.  For example, mpsc::Sender has !Sync, but at a glance the left panel would imply that it's a normal Sync.
