MODULE Test23B;

TYPE
  Stream* = POINTER TO Handle;
  Handle = RECORD END;

  Writer* = RECORD END;

  Printer* = RECORD (Writer) END;

VAR
  s : Stream;
  o : Writer;
  out : Printer;

PROCEDURE SetStream(VAR w : Writer; stream : Stream);
BEGIN
END SetStream;

BEGIN
  SetStream(s, s);
END Test23B.

Проверка VAR-параметров-записи. Должно проваливаться.