Dotty: Compiler ignores @tailrec if inline is present

[ansvonwa]

Minimized code

scala> import scala.annotation.tailrec
scala> @tailrec inline def foo() = ???

Output

def foo(): Nothing

Expectation

An error, as in

scala> @tailrec def bar() = ???                                                                                              
1 |@tailrec def bar() = ???
  |             ^
  |TailRec optimisation not applicable, method bar contains no recursive calls

[odersky]

Or: forbid combination of tailRec and inline.