I like the idea but I think its in the wrong place.

They're kind of like contract statements for preconditions/invariants but at the design layer, enforced at compile / run time.

I think this is useful for architect types, though I think this belongs more around the DependencyInjection config area.

A class should not be aware of what uses it.