Record component type can be an inner class of a record

[Remi Forax]

Hi all,
a record component can use as type a type declared inside the record itself,
in term of scoping it's like if the record component is part of the internal scope of the record.

record Foo(Bar bar) {
  class Bar {

  }
}

I think it's the right behaviour but i was not able to find any reference to that in the spec.

regards,
Rémi