Missing reference for "other advanced types" ?

[vreuter]

The "other types" page of the Scala 3 book lists a variety of "other advanced types" and links to the reference documentation "for more details on these types." For most of the listed sorts of types, there is reference easily accessible on the linked page, but for 2 of them there's nothing apparent (at least not when Ctrl+F searching on the page for these sorts of types):

• Singleton types
• Refinement types

It seems that either reference should be added for these on the linked page, or that more specific link(s) should be provided on the Scala 3 book page. Did I miss something, though?

[vreuter]

To show the symptom / search method:

[bishabosha]

Thanks for the feedback! that is indeed a missing information that is only visible in the spec

[vreuter]

Thanks for the feedback! that is indeed a missing information that is only visible in the spec

Many thanks for the link @bishabosha