> I'd also document it as "has an $(D empty) attribute or property".

What is an .empty "attribute"? You mean like an enum? I'm not familiar with the wording.