/*

 * Copyright 2006 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     6471599

 * @summary Type of rhs cannot be obtained when assigning to erroneous symbol

 * @author  Peter von der Ah\u00e9

 * @compile Main.java

 * @run main Main

 */

import com.sun.source.tree.AssignmentTree;

import com.sun.source.tree.CompilationUnitTree;

import com.sun.source.util.JavacTask;

import com.sun.source.util.TreePath;

import com.sun.source.util.TreePathScanner;

import com.sun.source.util.Trees;

import com.sun.tools.javac.util.List;

import java.io.IOException;

import java.net.URI;

import javax.lang.model.type.TypeKind;

import javax.tools.JavaCompiler;

import javax.tools.JavaFileObject;

import javax.tools.SimpleJavaFileObject;

import javax.tools.ToolProvider;

public class Main {

    static class MyFileObject extends SimpleJavaFileObject {

        public MyFileObject() {

            super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE);

        }

        public CharSequence getCharContent(boolean ignoreEncodingErrors) {

            return "public class Test { { x = java.util.Collections.emptySet(); } }";

        }

    }

    static Trees trees;

    public static void main(String[] args) throws IOException {

        JavaCompiler compiler = ToolProvider.getSystemJavaCompiler();

        JavacTask task = (JavacTask) compiler.getTask(null, null, null, null, null, List.of(new MyFileObject()));

        trees = Trees.instance(task);

        Iterable<? extends CompilationUnitTree> asts = task.parse();

        task.analyze();

        for (CompilationUnitTree ast : asts) {

            new MyVisitor().scan(ast, null);

        }

    }

    static class MyVisitor extends TreePathScanner<Void,Void> {

        @Override

        public Void visitAssignment(AssignmentTree node, Void ignored) {

            TreePath path = TreePath.getPath(getCurrentPath(), node.getExpression());

            if (trees.getTypeMirror(path).getKind() == TypeKind.ERROR)

                throw new AssertionError(path.getLeaf());

            return null;

        }

    }

}