must-implement-trait. An attribute proc-macro which enforces that a type (auto-)implements the specified trait(s).