Compiler version

3.7.2
3.7.3-RC1

Minimized code

val foo: (f: String) = "" *: EmptyTuple val g = foo.f // ok val f = foo.f // error: recursive value foo needs type

Output

Recursive value foo needs type Run with -explain-cyclic for more details. 

Expectation

If the error is expected, then there should be different text (value foo has type annotation).
But I expect that it should compiling.

Note

The following snippet is compiling:

val foo: (f: String, g: Int) = ("", 42) val f = foo.f