MirroredTypeExceptionProxy(TypeMirror t) {
            // It would be safer if we could construct the exception in
            // generateException(), but there would be no way to do
            // that properly following deserialization.
            ex = new MirroredTypeException(t);
        }