type_enforced

Depended on by

• scoptimize

• scx