Typer regression in `eed3si9n/jarjar-abrams` for shadowed variable of different type

[WojciechMazur]

Based on failure in OpenCB for:

• eed3si9n/jarjar-abrams - build logs
• sbt/io - build logs

Found in : java.io.InputStream is a correct input type, however existance of shadowed in: java.nio.Path in the scope breaks the compilation

Compiler version

Last good release: 3.8.0-RC1-bin-20251103-714f3b6-NIGHTLY
First bad release: 3.8.0-RC1-bin-20251104-b83b3d9-NIGHTLY

Bisect points to one of:
f3aea49
5b03dca
Both are commits from #24231

Not present in 3.8.0-RCs, merged after 3.8.0 cutoff, but before change of build developed version

Minimized code

import java.io.*
import java.nio.file.*

abstract class Using[Source, A]:
  def apply[R](src: Source)(f: A => R): R = ???

object Using:
  val fileInputStream: Using[Path, InputStream] = ???

def transfer(in: Path, out: OutputStream): Unit =
  Using.fileInputStream(in)(in => transfer(in, out))

def transfer(in: InputStream, out: OutputStream): Unit = ???

Output

-- [E007] Type Mismatch Error: /Users/wmazur/projects/scala/community-build3/test.scala:12:43 
12 |  Using.fileInputStream(in)(in => transfer(in, out))
   |                                           ^^
   |                                    Found:    (in : java.io.InputStream)
   |                                    Required: java.nio.file.Path
   |
   | longer explanation available when compiling with `-explain`

Expectation

Should continue to compile

[hamzaremmal]

Smaller minimization without java things:

trait A
trait B

def foo(f: B => Unit) = ???
def transfer(in: A): Unit =
  foo(in => transfer(in))
def transfer(in: B): Unit = ???

-- [E007] Type Mismatch Error: test.scala:6:21 ---------------------------------
6 |  foo(in => transfer(in))
  |                     ^^
  |                     Found:    (in : B)
  |                     Required: A
  |
  | longer explanation available when compiling with `-explain`

[noti0na1]

The issue is from calleeType and I can trigger the same error for all Scala 3 versions:

trait A
trait B

def foo[T <: (B => Unit)](f: T) = ???
def transfer(in: A): Unit =
  foo(in => transfer(in))
def transfer(in: B): Unit = ???

I'm trying a fix for calleeType now