impls (cargo): Determine if a type implements a logical trait expression.
Keywords: macro|impl|trait|test