Smartypes in Subtypes don't work + error message wrong

[domdorn]

  object SampleType extends zio.prelude.Subtype[Double] {
    override def assertion = assert {
      greaterThanOrEqualTo(0.0d) && lessThanOrEqualTo(1.0d)
    }
  }
  type SampleType = SampleType.Type

  def someTest(): SampleType = {

    val value = Math.random()
    SampleType(value)
  }

boom!

[error]  Newtype Assertion Failed
[error] Could not validate Assertion at compile-time.
[error] Either use a literal or call "com.acme.cc.types.`package`.SampleType.unsafeWrap(Expr[Nothing](value))"
[error]     SampleType(value)

However, there is no unsafeWrap declared in SampleType

[reibitto]

Perhaps the error message could say something like "Cannot validate runtime value at compile-time. Use make instead." or something to that effect so that it directs users to the right method.