path: root/testsuite/fail_compilation/offset_not_record.elna

var
  n: Word

program()
begin
  n := #offset(Int, top) (* @Error Type 'Int' does not support trait '#offset' *)
return 0u8

end.