10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
20 * CA 95054 USA or visit www.sun.com if you need additional information or
21 * have any questions.
22 */
23
24 /*
25 * @test
26 * @bug 4892571
27 * @summary generics: type cast with instance of
28 * @author gafter
29 *
30 * @compile -source 1.5 -Werror InstanceOf.java
31 */
32
33 class InstanceOf<T> {
34 static interface I1<T> {
35 public T[] toArray();
36 }
37 static interface I2<T> extends I1<T> {
38 public T[] toArray();
39 }
40 static interface I3<T> extends I2<T> { }
41 InstanceOf() {
42 I1<T> inv = null;
43 I1<? extends T> cov = null;
44 I1<? super T> con = null;
45 boolean b;
46 b = inv instanceof I3; // <<pass>>
47 b = cov instanceof I3; // <<pass>>
48 b = con instanceof I3; // <<pass>>
49 }
50 }
|
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
20 * CA 95054 USA or visit www.sun.com if you need additional information or
21 * have any questions.
22 */
23
24 /*
25 * @test
26 * @bug 4892571
27 * @summary generics: type cast with instance of
28 * @author gafter
29 *
30 * @compile -Werror InstanceOf.java
31 */
32
33 class InstanceOf<T> {
34 static interface I1<T> {
35 public T[] toArray();
36 }
37 static interface I2<T> extends I1<T> {
38 public T[] toArray();
39 }
40 static interface I3<T> extends I2<T> { }
41 InstanceOf() {
42 I1<T> inv = null;
43 I1<? extends T> cov = null;
44 I1<? super T> con = null;
45 boolean b;
46 b = inv instanceof I3; // <<pass>>
47 b = cov instanceof I3; // <<pass>>
48 b = con instanceof I3; // <<pass>>
49 }
50 }
|