testsuite/compilable/traits_size.elna


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

var
  i: Int := 1
  s: Int := cast(#size(Int): Int)
  a: [10]Int
  as: Int := cast(#size([10]Int): Int)
  p: Int := cast(#size(Pointer): Int)

program()
begin
  assert(s > 0);
  assert(as = 10 * cast(#size(Int): Int));
  assert(p > 0)
return 0u8

end.