COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	begin "bug"
C00003 ENDMK
C⊗;
begin "bug"

comment spurious warning on record exchange;

record_class test(record_pointer (any_class) rp);

record_pointer (test) trp;
record_pointer (any_class) arp;

trp ← new_record(test);
arp ← new_record(test);

test:rp[arp] ← test:rp[trp] ← trp;

trp ↔ arp;
test:rp[arp] ↔ trp;

end "bug";