These are chat archives for fthomas/refined

10th
Jun 2017
Alexander Konovalov
@alexknvl
Jun 10 2017 23:09
Does refined work with singletons (-Yliteral-types)?
Alexander Konovalov
@alexknvl
Jun 10 2017 23:18
  def nextLong2[L <: Long with Singleton](g: G, origin: L, bound: Long Refined Greater[L]): (Long, G) =
    ???
  val test = nextLong2(null.asInstanceOf[G], 0L, refineMV(10L))