Type aliases of path-dependent context functions aren't interchangeable with their definition

[ruippeixotog]

Compiler version

3.2.0

Minimized code

trait Env {
  type Res
}

type EnvFunc = (env: Env) ?=> env.Res

val func1: (env: Env) ?=> env.Res = ???
val func2: EnvFunc = ???

def consume(f: EnvFunc): Unit = ???

object Main {
  consume(func1) // ok
  consume(func2) // error
}

Output

[error] 33 |  consume(func2) // error
[error]    |          ^^^^^
[error]    |          Found:    examples.Env#Res
[error]    |          Required: evidence$2.Res

Expectation

Both functions should type check, as I expect type alias usages to be always interchangeable with their definition.

[odersky]

I verified that this works now on latest main.

[ruippeixotog]

Thanks for confirming, @odersky! Do you know which PR fixed it? I'm curious to see details about this.

[odersky]

I think it was #15742, but did not check.