How's this type signature called? 🤔

[susliko]

Scala compiler codebase has a lot of declarations like

  val symbolTable: SymbolTable {
    def settings: Settings
  }

(ClassfileParser.scala)
The grammar is not able to handle them yet.
I'd like to create an issue, but can't come up with a proper name for these types.
It's like structural types, but mixed to named types..

[susliko]

This is RefinedType

RefinedType       ::=  AnnotType {[nl] Refinement}

https://docs.scala-lang.org/scala3/reference/syntax.html#

We have a TODO on this