Union of Function0 creates an intersection of return type (regression from 3.1.1?)

Compiler version

3.1.3

Minimized code

object EB:
  type Outcome = Command | SideEffect | CmdEffect
  type OutcomeSpec =  Command | (() => Unit) | (() => Seq[Command])

  inline def asOutcome(o: OutcomeSpec): Outcome =
    inline o match
      case c: Command         => c
      case f: (() => Seq[Command]) => CmdEffect(_ => f())
      case f: (() => Unit)    => SideEffect(_ => f())

  inline def apply[S](ev: WithSource[Event, S], ctx: String, f: OutcomeSpec): EB[S] = 
...

EB(b.st.release, "", () => Seq.empty[Command])

Output

Found:    Seq[Command]
Required: Unit & Seq[Command]

Expectation

In 3.1.1 this compiled fine, not sure if this is a regression or the rules changed.

[SethTisue]

Will wait till 3.2.1 I guess

try 3.2.1-RC1, which is now out

[unthingable]

I have just upgraded to 3.2.0 and the bug is still present. Will wait till 3.2.1 I guess.