Skip to content

No eta-expansion based on expected type in some situations #2192

Closed
@smarter

Description

@smarter

I don't know if this is intended, but the following works with scalac but not dotty:

object Test {
  def foo(x: Int): Int = x

  Some(foo): Option[Int => Int]
    // missing arguments for method foo
    // follow this method with `_' if you want to treat it as a partially applied function
}

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions