1    private@
2    
3    do
4        let x : i32 @late
5        assert x@is_unset
6    
7        x = 5
8        assert x@is_set && x == 5
9    
10   type A<T> =
11       let x : T @late
12   
13   do
14       let a = A<i32>.new
15       assert a.x@is_unset
16   
17       a.x = 5
18       assert a.x@is_set && a.x == 5
19