does_impl (cargo): [WIP] Determine if a type does implement a logical trait expression.
Keywords: macro|impl|trait|test