equal
deleted
inserted
replaced
23 |
23 |
24 // key: compiler.misc.where.intersection |
24 // key: compiler.misc.where.intersection |
25 // key: compiler.misc.where.description.intersection |
25 // key: compiler.misc.where.description.intersection |
26 // key: compiler.misc.intersection.type |
26 // key: compiler.misc.intersection.type |
27 // key: compiler.err.prob.found.req |
27 // key: compiler.err.prob.found.req |
28 // key: compiler.misc.inconvertible.types |
28 // key: compiler.misc.inferred.do.not.conform.to.upper.bounds |
29 // options: -XDdiags=where |
29 // options: -XDdiags=where |
30 // run: simple |
30 // run: simple |
31 |
31 |
32 class WhereIntersection { |
32 class WhereIntersection { |
33 interface I1 {} |
33 interface I1 {} |