1 
2 struct S {
3     int x;
4 
TS5     template T(int val) {
6         const P T = { val }; // the P here is an error it should be S
7     }
8 }
9 
V(R,int val)10 template V(R,int val){
11     const R V=R.T!(val);
12 }
13 
14 const S x = V!(S,0);
15 
16