6846972: cannot access member of raw type when erasure change overriding into overloading

Fix of 6400189 caused a nasty problem in method resolution

Reviewed-by: jjg
This commit is contained in:
Maurizio Cimadamore 2009-07-15 10:25:01 +01:00
parent 0bbc6ba0de
commit dd76763423
2 changed files with 51 additions and 1 deletions

View File

@ -251,7 +251,8 @@ public class Resolve {
return true;
else {
Symbol s2 = ((MethodSymbol)sym).implementation(site.tsym, types, true);
return (s2 == null || s2 == sym);
return (s2 == null || s2 == sym ||
!types.isSubSignature(types.memberType(site, s2), types.memberType(site, sym)));
}
}
//where

View File

@ -0,0 +1,49 @@
/*
* Copyright 2009 Sun Microsystems, Inc. All Rights Reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
* CA 95054 USA or visit www.sun.com if you need additional information or
* have any questions.
*/
/*
* @test
* @bug 6846972
* @summary cannot access member of raw type when erasure change overriding into overloading
* @author mcimadamore
* @compile T6846972.java
*/
import java.util.EnumMap;
public class T6846972 {
enum Suit {
CLUBS, DIAMONDS;
}
static Object [] array = {
Suit.CLUBS, "value1",
Suit.DIAMONDS, "value2"
};
static void test() {
EnumMap map = new EnumMap(Suit.class);
map.put(array[0], array[1]);
}
}