|
1 | | --- Warning: tests/neg/i17613b/i17613b.scala:7:18 ----------------------------------------------------------------------- |
2 | | -7 | trait Typeclass[T] |
3 | | - | ^ |
4 | | - | Type parameter T for trait Typeclass shadows the type defined by type T in class B |
5 | | --- Warning: tests/neg/i17613b/i17613b.scala:10:13 ---------------------------------------------------------------------- |
6 | | -10 | def foobar[ImTrait](in: D) = in.toString // warn |
7 | | - | ^^^^^^^ |
8 | | - | Type parameter ImTrait for method foobar shadows the type defined by trait ImTrait in object importTry |
9 | | --- Warning: tests/neg/i17613b/i17613b.scala:11:13 ---------------------------------------------------------------------- |
10 | | -11 | type MySeq[ImTrait] = Seq[D] // warn |
| 1 | +-- Error: tests/neg/i17613b/i17613b.scala:9:13 ------------------------------------------------------------------------- |
| 2 | +9 | def foobar[ImTrait](in: D) = in.toString // error |
| 3 | + | ^^^^^^^ |
| 4 | + | Type parameter ImTrait for method foobar shadows the type defined by trait ImTrait in object importTry |
| 5 | +-- Error: tests/neg/i17613b/i17613b.scala:10:13 ------------------------------------------------------------------------ |
| 6 | +10 | type MySeq[ImTrait] = Seq[D] // error |
11 | 7 | | ^^^^^^^ |
12 | 8 | | Type parameter ImTrait for type MySeq shadows the type defined by trait ImTrait in object importTry |
13 | | --- Warning: tests/neg/i17613b/i17613b.scala:13:14 ---------------------------------------------------------------------- |
14 | | -13 | def foobar2[ImClass](in: D) = in.toString // warn |
| 9 | +-- Error: tests/neg/i17613b/i17613b.scala:12:14 ------------------------------------------------------------------------ |
| 10 | +12 | def foobar2[ImClass](in: D) = in.toString // error |
15 | 11 | | ^^^^^^^ |
16 | 12 | | Type parameter ImClass for method foobar2 shadows the type defined by class ImClass in object importTry |
17 | | --- Warning: tests/neg/i17613b/i17613b.scala:14:14 ---------------------------------------------------------------------- |
18 | | -14 | type MySeq2[ImClass] = Seq[D] // warn |
| 13 | +-- Error: tests/neg/i17613b/i17613b.scala:13:14 ------------------------------------------------------------------------ |
| 14 | +13 | type MySeq2[ImClass] = Seq[D] // error |
19 | 15 | | ^^^^^^^ |
20 | 16 | | Type parameter ImClass for type MySeq2 shadows the type defined by class ImClass in object importTry |
21 | | --- Warning: tests/neg/i17613b/i17613b.scala:17:24 ---------------------------------------------------------------------- |
22 | | -17 | type TypeLambda[A] = [ImTrait] =>> Map[ImTrait, B] |
| 17 | +-- Error: tests/neg/i17613b/i17613b.scala:16:24 ------------------------------------------------------------------------ |
| 18 | +16 | type TypeLambda[A] = [ImTrait] =>> Map[ImTrait, B] // error |
23 | 19 | | ^^^^^^^ |
24 | 20 | | Type parameter ImTrait for type TypeLambda shadows the type defined by trait ImTrait in object importTry |
25 | | --- Warning: tests/neg/i17613b/i17613b.scala:18:21 ---------------------------------------------------------------------- |
26 | | -18 | type PolyFun[A] = [ImTrait] => ImTrait => B // warn |
| 21 | +-- Error: tests/neg/i17613b/i17613b.scala:17:21 ------------------------------------------------------------------------ |
| 22 | +17 | type PolyFun[A] = [ImTrait] => ImTrait => B // error |
27 | 23 | | ^^^^^^^ |
28 | 24 | | Type parameter ImTrait for type PolyFun shadows the type defined by trait ImTrait in object importTry |
29 | | --- Warning: tests/neg/i17613b/i17613b.scala:24:12 ---------------------------------------------------------------------- |
30 | | -24 | class Foo[T](t: T): // warn class parameter shadows some other type |
| 25 | +-- Error: tests/neg/i17613b/i17613b.scala:23:12 ------------------------------------------------------------------------ |
| 26 | +23 | class Foo[T](t: T): // error class parameter shadows some other type |
31 | 27 | | ^ |
32 | 28 | | Type parameter T for class Foo shadows the type defined by type T in class B |
33 | | --- Warning: tests/neg/i17613b/i17613b.scala:28:15 ---------------------------------------------------------------------- |
34 | | -28 | def intType[List1](x: T) = x.toString() // warn |
| 29 | +-- Error: tests/neg/i17613b/i17613b.scala:27:15 ------------------------------------------------------------------------ |
| 30 | +27 | def intType[List1](x: T) = x.toString() // error |
35 | 31 | | ^^^^^ |
36 | 32 | | Type parameter List1 for method intType shadows an explicitly renamed type : List1 |
37 | | --- Warning: tests/neg/i17613b/i17613b.scala:33:10 ---------------------------------------------------------------------- |
38 | | -33 | given [Int]: Typeclass[Int]() // warn |
| 33 | +-- Error: tests/neg/i17613b/i17613b.scala:32:10 ------------------------------------------------------------------------ |
| 34 | +32 | given [Int]: Ordering[Int]() // error |
39 | 35 | | ^^^ |
40 | | - | Type parameter Int for method given_Typeclass_Int shadows the type defined by class Int in package scala |
41 | | --- Warning: tests/neg/i17613b/i17613b.scala:35:12 ---------------------------------------------------------------------- |
42 | | -35 | class C[M[List[_]]] // warn List not renamed here |
| 36 | + | Type parameter Int for method given_Ordering_Int shadows the type defined by class Int in package scala |
| 37 | +-- Error: tests/neg/i17613b/i17613b.scala:34:12 ------------------------------------------------------------------------ |
| 38 | +34 | class C[M[List[_]]] // error List not renamed here |
43 | 39 | | ^^^^^^^ |
44 | 40 | | Type parameter List for class C shadows the type defined by type List in package scala |
45 | | --- Warning: tests/neg/i17613b/i17613b.scala:36:11 ---------------------------------------------------------------------- |
46 | | -36 | type E[M[Int[_]]] = Int // warn |
| 41 | +-- Error: tests/neg/i17613b/i17613b.scala:35:11 ------------------------------------------------------------------------ |
| 42 | +35 | type E[M[Int[_]]] = Int // error |
47 | 43 | | ^^^^^^ |
48 | 44 | | Type parameter Int for type E shadows the type defined by class Int in package scala |
49 | | --- Warning: tests/neg/i17613b/i17613b.scala:38:14 ---------------------------------------------------------------------- |
50 | | -38 | def foo[N[M[List[_]]]] = // warn |
| 45 | +-- Error: tests/neg/i17613b/i17613b.scala:37:14 ------------------------------------------------------------------------ |
| 46 | +37 | def foo[N[M[List[_]]]] = // error |
51 | 47 | | ^^^^^^^ |
52 | 48 | | Type parameter List for method foo shadows the type defined by type List in package scala |
53 | | --- Warning: tests/neg/i17613b/i17613b.scala:41:11 ---------------------------------------------------------------------- |
54 | | -41 | type Z[ImClassR] = Int // warn |
| 49 | +-- Error: tests/neg/i17613b/i17613b.scala:40:11 ------------------------------------------------------------------------ |
| 50 | +40 | type Z[ImClassR] = Int // error |
55 | 51 | | ^^^^^^^^ |
56 | 52 | | Type parameter ImClassR for type Z shadows an explicitly renamed type : ImClassR |
57 | | --- Warning: tests/neg/i17613b/i17613b.scala:42:18 ---------------------------------------------------------------------- |
58 | | -42 | class InnerCl[ImClassR] // warn |
| 53 | +-- Error: tests/neg/i17613b/i17613b.scala:41:18 ------------------------------------------------------------------------ |
| 54 | +41 | class InnerCl[ImClassR] // error |
59 | 55 | | ^^^^^^^^ |
60 | 56 | | Type parameter ImClassR for class InnerCl shadows an explicitly renamed type : ImClassR |
61 | | -No warnings can be incurred under -Werror. |
0 commit comments