equal
deleted
inserted
replaced
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 { |