Type system undecidable?

XMLWordPrintable

    • Type: Bug
    • Resolution: Future Project
    • Priority: P3
    • 5.0
    • Affects Version/s: 5.0
    • Component/s: specification
    • generic
    • generic

      Is this a valid Java program?

      class F<T> {}
      class C<X extends F<F<? super X>>> {
          C(X x) {
              F<? super X> f = x;
          }
      }

      ###@###.### 2004-12-11 00:11:16 GMT

            Assignee:
            Alex Buckley
            Reporter:
            Peter Ahe
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

              Created:
              Updated:
              Resolved:
              Imported:
              Indexed: