File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
src/compiler/scala/tools/nsc/typechecker Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -1190,7 +1190,7 @@ trait ContextErrors {
11901190
11911191 def IllegalDependentMethTpeError (sym : Symbol )(context : Context ) = {
11921192 val errorAddendum =
1193- " : parameter appears in the type of another parameter in the same section or an earlier one "
1193+ " : parameter may only be referenced in a subsequent parameter section "
11941194 issueSymbolTypeError(sym, " illegal dependent method type" + errorAddendum)(context)
11951195 }
11961196
Original file line number Diff line number Diff line change 1- depmet_1.scala:2: error: illegal dependent method type: parameter appears in the type of another parameter in the same section or an earlier one
1+ depmet_1.scala:2: error: illegal dependent method type: parameter may only be referenced in a subsequent parameter section
22 def precise0(y: x.type)(x: String): Unit = {}
33 ^
4- depmet_1.scala:3: error: illegal dependent method type: parameter appears in the type of another parameter in the same section or an earlier one
4+ depmet_1.scala:3: error: illegal dependent method type: parameter may only be referenced in a subsequent parameter section
55 def precise1(x: String, y: x.type): Unit = {}
66 ^
77depmet_1.scala:4: error: not found: value y
You can’t perform that action at this time.
0 commit comments