1 2 3 4 5 6 7 8 9
var x: Int proc v() return begin x := v() (* @Error Expected type 'Int', but the expression has no value *) end.