Class parameter can't have path-dependent type based on parameter from previous section

[scabug]

Given a nested type {code}trait Compiler { trait Config }{code} I expect this to work similar to a method:

class F(val c: Compiler)(val conf: c.Config)

but this produces an error (with a rather surprising message):

<console>:8: error: not found: value c
       class F(val c: Compiler)(val conf: c.Config)
                                          ^

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-9491?orig=1
Reporter: @alexeyr
Affected Versions: 2.11.7

[scabug]

@alexeyr said:
Duplicate of #5712