suggest adding a where-clause when there is an unmet trait-bound that can be satisfied if some type can implement it.
Reflect
semantics that tests the *interface* of trait objects, rather than what they close over.