|
| From: | anonymous |
| Subject: | [Bug-kawa] [bug #39947] Bad resolution of java.util.HashSet.addAll() |
| Date: | Wed, 04 Sep 2013 22:21:43 +0000 |
| User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10_8_4) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/27.0.1453.110 Safari/537.36 |
URL:
<http://savannah.gnu.org/bugs/?39947>
Summary: Bad resolution of java.util.HashSet.addAll()
Project: Kawa
Submitted by: None
Submitted on: Wed 04 Sep 2013 10:21:42 PM UTC
Category: Type declaration and inference
Severity: 3 - Normal
Item Group: Bad diagnostic
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
#|kawa:56|# (let ((x (java.util.HashSet)) (y (java.util.HashSet)))
(y:add "foo")
(y:add "bar")
(x:addAll y))#|(---:57|# #|(---:58|# #|(---:59|#
/dev/stdin:59:3: warning - more than one definitely applicable method `addAll'
in java.util.HashSet
candidate: boolean java.util.HashSet.addAll(java.util.Collection)
candidate: boolean java.util.HashSet.addAll(java.util.Collection)
candidate: boolean java.util.HashSet.addAll(java.util.Collection)
#t
This warning is not correct; there's only one definition of HashSet.addAll(),
and that is the one defined in AbstractCollection.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?39947>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |