Coul constraint *enforcement be done at compile time vs runtime ?

Original text of this message