can't infer proper type when using extension method as a function

[kpodsiad]

Compiler version

3.3.1

Minimized code

//> using scala "3.3.1"

trait Food[+A]
trait Animal
object Animal {
  extension (animal: Animal) def consume[A](weights: Food[A]): A = ???
}

val animal: Animal = ???
val choices: List[Food[Int]] = ???
val result0: List[Any] = choices.map(animal.consume) // compiles
// val result1: List[Int] = choices.map(animal.consume) // does not compile
val result2: List[Int] = choices.map(food => animal.consume(food))
val result3: List[Int] = choices.map(animal.consume(_))

Output

Found:    Food[Any] => Any
Required: Food[Int] => Int

Expectation

result1 either compiles or raises a clear error message that such usage is forbidden.

[som-snytt]

val result4: List[Int] = choices.map(food => Animal.consume(animal)(food))
val result5: List[Int] = choices.map(Animal.consume(animal))

for completeness