1 2 3 4 5 6 7
var c: const Int p: Pointer begin p := @c (* @Error Expected type 'Pointer', but got '\^const Int' *) end.