Skip to content

Missing bounds check for transparent inline type parameters #10552

Closed
@nicolasstucki

Description

@nicolasstucki

Minimized code

transparent inline def foo[T]: Int = 10
def bar[T]: Int = 10

def test =
  foo[List]
  bar[List]

Output

7 |  bar[List]
  |      ^^^^
  |      Missing type parameter for List

Expectation

The error should also be emitted for foo[List]

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions