Wed, 23 Jan 2013 13:27:24 -0800
8006775: JSR 308: Compiler changes in JDK8
Reviewed-by: jjg
Contributed-by: mernst@cs.washington.edu, wmdietl@cs.washington.edu, mpapi@csail.mit.edu, mahmood@notnoop.com
1 /*
2 * Copyright (c) 2008, 2013, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
24 /*
25 * @test
26 * @bug 8006775
27 * @summary the receiver parameter has the type of the surrounding class
28 * @author Werner Dietl
29 * @compile/fail/ref=WrongType.out -XDrawDiagnostics WrongType.java
30 */
32 @interface A {}
34 class WrongType {
35 Object f;
37 void good1(@A WrongType this) {}
39 void good2(@A WrongType this) {
40 this.f = null;
41 Object o = this.f;
42 }
44 void bad1(@A Object this) {}
46 void bad2(@A Object this) {
47 this.f = null;
48 Object o = this.f;
49 }
51 void wow(@A XYZ this) {
52 this.f = null;
53 }
55 class Inner {
56 void good1(@A Inner this) {}
57 void good2(@A WrongType.Inner this) {}
59 void outerOnly(@A WrongType this) {}
60 void wrongInner(@A Object this) {}
61 void badOuter(@A Outer.Inner this) {}
62 void badInner(@A WrongType.XY this) {}
63 }
65 class Generics<X> {
66 <Y> void m(Generics<Y> this) {}
67 }
68 }