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

var
  r: R
  x: R

begin
  x := r;
  case x of
    r: (* @Error Expected a constant expression *)
  end
end.