Record component type can be an inner class of a record

Remi Forax forax at
Tue Mar 24 20:57:39 UTC 2020

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.


More information about the amber-spec-experts mailing list