typer error when passing Nothing for function parameter of inline def

[darichey]

Minimized code

inline def foo(f: () => Unit) = f()
def bar() = foo(???)

Output

[error] 1 |inline def foo(f: () => Unit) = f()
[error]   |                                ^^^
[error]   |   undefined: {
[error]   |     f$proxy1
[error]   |   }.apply # 25695: TermRef(TermRef(NoPrefix,val f$proxy1),apply) at typer
[error] one error found
[error] (Compile / compileIncremental) Compilation failed

Expectation

The code should compile.

[darichey]

I ran into this when I mistakenly invoked this function:

inline def unless(b: Boolean)(f: () => Unit) =
  if (!b) f()

like this:

def baz(): Int = {
  unless(true) { return 5 }
  return 6
}

Of course, the f parameter should be by-name instead.

[smarter]

I think this could be tracked under the existing #8612 /cc @nicolasstucki

[nicolasstucki]

It is the same issue