Open bcarter97 opened 1 year ago
So it looks like the Arrow syntax is causing this - is this intended behaviour?
Not intended but expected at least. The arrow syntax is an implicit conversion and the automatic refinement is an implicit conversion but Scala won't chain them so that your first snippet typechecks.
Hi, I've noticed if I try to create a Map with the key as a Refined Type and instantiate it with a literal, the compiler gives an error:
I can change to just the value as a Refined type and it works as expected:
I can also create a Map out Tuples which works:
So it looks like the Arrow syntax is causing this - is this intended behaviour?