freepascal.compiler/tests/ts010010.pp

uses
   ts010009;

  var
     r : tr;

  begin
     r.a:=x;
     if r.a=x then
       begin
          with r do
            if a=y then
              ;
       end;
  end.