equal
deleted
inserted
replaced
1 /* |
1 /* |
2 * Copyright (c) 2013, 2016, Oracle and/or its affiliates. All rights reserved. |
2 * Copyright (c) 2013, 2018, Oracle and/or its affiliates. All rights reserved. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * |
4 * |
5 * This code is free software; you can redistribute it and/or modify it |
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 |
6 * under the terms of the GNU General Public License version 2 only, as |
7 * published by the Free Software Foundation. |
7 * published by the Free Software Foundation. |
23 |
23 |
24 // key: compiler.misc.where.fresh.typevar |
24 // key: compiler.misc.where.fresh.typevar |
25 // key: compiler.misc.where.description.typevar |
25 // key: compiler.misc.where.description.typevar |
26 // key: compiler.err.prob.found.req |
26 // key: compiler.err.prob.found.req |
27 // key: compiler.misc.inconvertible.types |
27 // key: compiler.misc.inconvertible.types |
28 // options: --diags:formatterOptions=where,simpleNames |
28 // options: --diags=formatterOptions=where,simpleNames |
29 // run: simple |
29 // run: simple |
30 |
30 |
31 import java.util.*; |
31 import java.util.*; |
32 |
32 |
33 class WhereFreshTvar { |
33 class WhereFreshTvar { |