E4193

Compiler diagnostic name: declare_body_not_empty.

Detailed documentation and examples for this diagnostic have not been added yet.