Check if extensions and givens behave correctly with the new RefinedType definiton

[Iltotore]

Check if this:

type Temperature = Temperature.T
object Temperature extends RefinedType[Double, Positive]:
  extension (a: Temperature)
    def +(b: Temperature): Temperature = ???

  given Ordering[Temperature] = ???

Are not considered "orphan" givens/extensions by the compiler. This could be an important ergonomic regression and therefore need to be checked before releasing the new definition.

[Iltotore]

Seems to work 🎉

package newtypes

import io.github.iltotore.iron.*
import io.github.iltotore.iron.constraint.all.*

type WinCount = WinCount.T
object WinCount extends RefinedType[Int, Positive0]:

  extension (a: WinCount)
    def +(b: WinCount): WinCount = WinCount.assume(a.value + b.value)

  given Ordering[WinCount] = WinCount.assumeAll(Ordering.Int)

import newtypes.WinCount

object Main:

  @main
  def testMain =
    val x = WinCount(1) + WinCount(2)
    summon[Ordering[WinCount]]
    println(x)