Skip to content
Browse files
8273234: extended 'for' with expression of type tvar causes the compi…
…ler to crash

Reviewed-by: jlahoda
  • Loading branch information
Vicente Romero committed Sep 3, 2021
1 parent 28ba78e commit 8c379092747301de70db1ef8e441cbe09fd742e7
Showing 2 changed files with 50 additions and 1 deletion.
@@ -1546,7 +1546,7 @@ public void visitForeachLoop(JCEnhancedForLoop tree) {
// Check the return type of the method iterator().
// This is the bare minimum we need to verify to make sure code generation doesn't crash.
Symbol iterSymbol = rs.resolveInternalMethod(tree.pos(),
loopEnv, exprType, names.iterator, List.nil(), List.nil());
loopEnv, types.skipTypeVars(exprType, false), names.iterator, List.nil(), List.nil());
if (types.asSuper(iterSymbol.type.getReturnType(), syms.iteratorType.tsym) == null) {
Errors.ForeachNotApplicableToType(exprType, Fragments.TypeReqArrayOrIterable));
@@ -0,0 +1,49 @@
* Copyright (c) 2021, Oracle and/or its affiliates. All rights reserved.
* 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit if you need additional information or have any
* questions.

* @test
* @bug 8273234
* @summary extended 'for' with expression of type tvar causes the compiler to crash
* @compile

import java.util.*;

class ExprTypeIsTypeVariableTest {
abstract class A {}

abstract class ACD<E> implements Iterable<E> {
public Iterator<E> iterator() {
return null;

abstract class ALD<E> extends ACD<E> implements List<E> {}

abstract class ASP<NT extends A> extends ALD<A> {
<P extends ASP<NT>> void foo(P prod) {
for (A sym : prod) {}

1 comment on commit 8c37909

Copy link

@openjdk-notifier openjdk-notifier bot commented on 8c37909 Sep 3, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please sign in to comment.