In general I'm confused about how and why you'd want to remove this trait. It seems like the use case here is _exactly_ what traits are for.

Isn't needing to write `fail!(~~"My message" as ~Any)` everywhere or letting that be done by the macro a unnecessarily allocating solution?