testsuite/fail_compilation/assign_const_record_pointer.elna


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

module

type
  B = record
    x: Int
  end
  D = record(B)
    y: Int
  end

proc f()
var
  b: ^B
  d: ^const D
begin
  b := d (* @Error Expected type '\^B', but got '\^const D' *)
return

end.