Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-6558545

Undecidable type system leads to stack overflow

XMLWordPrintable

    • generic, x86
    • generic, windows_xp

      This crashes the compiler:

      class T { }
      class N<Z> { }
      class C<X> extends N<N<? super C<C<X>>>> {
        N<? super C<T>> cast(C<T> c) { return c; }
      }

      from http://research.microsoft.com/~akenn/generics/FOOL2007.pdf

            dlsmith Dan Smith
            ahe Peter Ahe
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Imported:
              Indexed: