M2compiler-V3/compiler/tests/t_bad_recassign.mod

MODULE TBadRecAssign;
TYPE A = RECORD x : INTEGER END;
TYPE B = RECORD y : INTEGER END;
VAR a : A;
VAR b : B;
BEGIN
  a := b
END TBadRecAssign.