[BUG]: Freeze on unnecessary handling for `Var`

[ahoy-jon]

Version

1.0-RC1

Scala Version

3.7.2

Expected Behavior

val oups: Unit < (Sync & Var[Int]) =
  Var.update[Int](_ + 1).map(i => Console.printLine(s"oups $i"))

val lifted: Unit < (Sync & Var[Int]) < Any = Kyo.lift(oups)

object Weird extends KyoApp:
  lifted.handle(
    Var.run(0), // make the program freeze
    _.flatten,
    Var.run(0),
    run
  )

should not freeze

Actual Behavior

it Freezes

Steps to Reproduce

No response

Current Workaround

No response

[hearnadam]

This is really strange. I tried fixing via replacing Kyo.lift with inline def lift[A, S](inline v: A): A < S = ${ LiftMacro.liftMacro[A, S]('v) } (which I think we need to do)... I also tried an adjusted layout:

    "bug #1412" in {
        val oups: Unit < (Sync & Var[Int]) =
            Var.update[Int](_ + 1).map(i => Console.printLine(s"oups $i"))

        val lifted: Unit < (Sync & Var[Int]) < Any = Kyo.lift(oups)
        val app =
            new KyoApp:
                run {
                    lifted.handle(
                        Var.run(0), // make the program freeze
                        _.flatten,
                        Var.run(0)
                    )
                }
        app.main(Array.empty)
        succeed
    }

As I was thinking the removal of DelayedInit was impacting this, but I still see the freeze.

[ahoy-jon]

inline def lift[A, S](inline v: A): A < S = ${ LiftMacro.liftMacro[A, S]('v) }

Well, no, it cancels optimisation for compile time (not calling the macro on simple cases)
However maybe the optimisation if marginal, so we don't need it. (hard to test)