Hi All,
I really like using structural types for type level programming and was pretty disappointed that they’re now very annoying to use despite not using runtime reflection or applyDynamic/selectDynamic.
It would be great if we could still use type refinements (mainly for type level programming) without the boilerplate repetition of ascribing the types we just defined. Type inference is a key selling feature of scala, and it’s a shame to go backwards in this area compared to scala 2.
I’d like to see this brought back for Scala 3 without requiring the use of Selectable
where only type members are needed.
I raised this here in dotty feature requests but this is probably a better place for discussion
Cheers,
Rob