Skip to content

Can't define case class field of PolyFunction type #11481

Closed
@Odomontois

Description

@Odomontois

Compiler version

3.0.0-RC1

Minimized code

case class Baz[F[_], G[_]](f: [B] => F[B] => G[B])

Output

Found:    (Baz.this.f : PolyFunction{apply: [B](x$1: F[B]): G[B]})
Required: PolyFunction{apply: [B](x$1: <?>): <?>}

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions