type
  R = record
    a: Int;
    b: Int
  end

var
  r: R
  x: R

program()
begin
  x := r;
  case x of
    r: (* @Error Case label must be a constant expression *)
  end
return 0u8

end.