typedef incomplete complex[T] = (T r, T i);

/* ERRORS */
complex a;
complex[private] b;
typedef C[T] = complex[T];
typedef D[T] = (complex[T] nested);
complex[Priv] e;
typedef F[T] = (T x, T y);
(complex[private]) g;
(complex[complex[private]]) h;

/* ERRORS */
count sa = sizeof(ptr1^);
count sb = sizeof(ptr2^);

typedef Priv = private;
complex[private]^ ptr1;
complex[complex[private]]^ ptr2;