Skip to content

SI-9871 infer higher-order function argument types from overloaded method if argument types agree (fix source incompat introduced by sammy) #157

Closed
@adriaanm

Description

@adriaanm

Overloaded method with argument of function type --> ok as long as argument types derived from lub of function types agree:

def map(f: Char => A)
def map(f: Char => Char)

fails now, but could be made to work (would fix sam breaking overloads, and align with dotty)

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions