Refined types

[susliko]

Commit of tree-sitter-scala you tested this on

374709c

A code sample showing the error

class A
object A:
  val a: A {
    val b: Int
  } = ???

Show the error node

(compilation_unit [0, 0] - [5, 0]
  (class_definition [0, 0] - [0, 7]
    name: (identifier [0, 6] - [0, 7]))
  (object_definition [1, 0] - [5, 0]
    name: (identifier [1, 7] - [1, 8])
    body: (template_body [1, 8] - [5, 0]
      (val_definition [2, 2] - [4, 9]
        pattern: (identifier [2, 6] - [2, 7])
        (ERROR [2, 9] - [2, 10])
        type: (structural_type [2, 11] - [4, 3]
          (val_declaration [3, 4] - [3, 14]
            name: (identifier [3, 8] - [3, 9])
            type: (type_identifier [3, 11] - [3, 14])))
        value: (operator_identifier [4, 6] - [4, 9])))))

What do you expect the tree to look like

No response

Where are you experiencing this error?

Lots of code in scala compiler, ClassfileParser.scala for instance

[eed3si9n]

I noticed that we're missing this as well. Here's my PR for this - #266