Class Sig.WildTySig

  • Direct Known Subclasses:
    Sig.LowerBoundTySig, Sig.UpperBoundTySig, Sig.WildTyArgSig
    Enclosing class:
    Sig

    public abstract static class Sig.WildTySig
    extends Sig.TySig
    A wildcard type.

    Wildcard are represented as first class types, instead only allowing them as top-level type arguments. This diverges from the buggy grammar in JVMS 4.7.9.1, see: http://mail.openjdk.java.net/pipermail/compiler-dev/2016-October/010450.html