Refined types within a companion objection

[gvolpe]

Similar to what happens with newtypes in #4, I guess this is related.

This works:

type MyId = String Refined Uuid

sealed trait Yay
object Yay {
  case class Foo(x: Int) extends Yay
  case class Bar(y: MyId, z: String) extends Yay
}

Check[Yay]

This doesn't:

sealed trait Yay
object Yay {
  type MyId = String Refined Uuid

  case class Foo(x: Int) extends Yay
  case class Bar(y: MyId, z: String) extends Yay
}

Check[Yay]

[gvolpe]

This works too!

sealed trait Yay
object Yay {
  case class Foo(x: Int) extends Yay
  case class Bar(y: String Refined Uuid, z: String) extends Yay
}

Check[Yay]

[gvolpe]

https://scastie.scala-lang.org/Z58Mw38RT7uaWRsSrfhNng