[dty01]
Every div type reference must be valid in every source
Affects: @div-type<skip>
@div-type
<skip>
Used by template ŧ class-2-expansion-terse class-2-expansion-terse-for-validation.
ŧ class-2-expansion-terse