gcc/testsuite/algol68/execute/struct-self-1.a68

# { dg-options "-fstropping=upper" }  #
BEGIN MODE NODE = STRUCT (INT code, REF NODE next);
      NODE top;
      ASSERT (next OF top :=: REF NODE (NIL))
END