implements (cargo): Macro to answer the question: does it implement a trait? 
Keywords: general-purpose|fundamental