Lazy Enforcement of Requirements on Abstract Fields

[apoigne]

This should work

val t1 = new {val v = 14} with T1