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

            Assignee:
            Dan Smith
            Reporter:
            Peter Ahe
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved:
              Imported:
              Indexed: