[Bug-kawa] [bug #36853] Propagate type parameters

[Per Bothner]

Follow-up Comment #3, bug #36853 (project kawa):

I was thinking more in the line of:
  class Foo<E extends java.util.List> ...

... Foo[vector] ...

I.e. using super or extends.

Your example doesn't report any warnings when I tried it.  Perhaps because it
(as far as I can tell) doesn't use wildcards.

Having wildcard work is probably not a priority.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?36853>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/