Scala 3 does not perform implicit conversion using <:<

Compiler version

3.0.2-RC1-bin-SNAPSHOT

Minimized code

import Tuple.Union

type Channel = "orders" | "trades"

def getChannelList[Channels <: NonEmptyTuple](c: Channels)(using Union[Channels] <:< Channel) = 
  val channels: List[Channel] = c.toList
  channels

Expectation

Compiles fine

Output

fails to compile with error:

[error] 6 |  val channels: List[Channel] = c.toList
[error]   |                                ^^^^^^^^
[error]   |Found:    List[Tuple.Union[(c : Channels)]]
[error]   |Required: List[Channel]
[error]   |
[error]   |where:    Channels is a type in method getChannelList with bounds <: NonEmptyTuple
[error]   |
[error]   |
[error]   |Note: a match type could not be fully reduced:
[error]   |
[error]   |  trying to reduce  Tuple.Union[(c : Channels)]
[error]   |  trying to reduce  scala.Tuple.Fold[(c : Channels), Nothing, [x, y] =>> x | y]
[error]   |  failed since selector  (c : Channels)
[error]   |  matches none of the cases
[error]   |
[error]   |    case EmptyTuple => Nothing
[error]   |    case h *: t => h | scala.Tuple.Fold[t, Nothing, [x, y] =>> x | y]

[SethTisue]

LOL, I just found a note I wrote to myself that says “I told Dale I would definitely follow up on this” 😅

But actually, it appears that all I was going to do was verify that it isn’t actually fixed yet. And now @Swoorup has already checked that. (And I just double-checked it.)

[bishabosha]

I dont think it does, actually, I can’t get an implicit evidence calling getChannelList