Applied constructor type "not a valid prefix"

[bishabosha]

Compiler version

3.7.2

Minimized code

//> using scala 3.7.2
//> using options -language:experimental.modularity

class Foo(tracked val pattern: String):
  type Fields = pattern.type // e.g. Fields on a Selectable

type Bar = (Foo{val pattern: "/hello/:name"})#Fields
type Qux = (Foo("/hello/:name"))#Fields // error

Output

type Qux = (Foo("/hello/:name"))#Fields // error
// ^ Foo{val pattern: ("/hello/:name" : String)} is not a valid type prefix, since it is not an immutable path

Expectation

applied constructor type in Qux is a syntax sugar for the same type of Bar, so should compile