1    private@
2    
3    type A =
4        var u : i32 = 0
5    
6        coerce@ u { _ + 2 }
7    
8    do
9        let a = A.new
10       a.u = 7
11       assert a.u == 9
12