type
  A = record
    x: Int
  end
  B = record
    y: Int;
    z: Int
  end

var
  a: A
  b: B
  ok: Bool

begin
  ok := b = a (* @Error Invalid operands of type 'B' and 'A' for operator = *)
end.