Which the suggested way from Raw[T] to T

[mcallisto]

I have something like:

def unsafe[T](raw: Raw[T]): T =
  raw match
    case Right(t: T) => t
    case _           => throw new Error

but I wonder if there is a better approach

[Iltotore]

In Iron, Raw means not refined. In other words, it's a value of type Constrained value with an always-true constraint (or "no constraint"). It should always be Right.

Your code is actually ok. You can use getOrElse to shorten your code but it is mostly a matter of preferences.

Also note that Raw will probably disappear in 2.0.0. Seamless interoperability between "normal" types and refined/constrained is targeted:

val x: Int = ???
val y: Int / AlwaysValidConstraint = x //No error and no verification required in 2.0.0