* if the super arguments can't be inferred, the default inference
          will be used.
    r8