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

Undecidable type system leads to stack overflow

    XMLWordPrintable

Details

    • generic, x86
    • generic, windows_xp

    Description

      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

      Attachments

        Issue Links

          Activity

            People

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

              Dates

                Created:
                Updated:
                Imported:
                Indexed: