Skip to content

Erased dependent function types are not usable #4125

Closed
@smarter

Description

@smarter

Replacing erased by implicit works, so this is specific to erased function types.

scala> def foo: (erased (x: Int) => Int) = erased x => 1 
1 |def foo: (erased (x: Int) => Int) = erased x => 1
  |                                                 ^
  |                         found:    erased Int => Int
  |                         required: (erased Int => Int){apply(x: Int): Int}
  |                         

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions