Dotty doesn't compile implicit function type

According to this dotty supports implicit function types. I took the example given here to try out implicit function types.

But when I compile the example in dotty, I get this error

29 |  type Transactional[T] = implicit Transaction => T
   |                          ^^^^^^^^
   |                          an identifier expected, but 'implicit' found

Maybe it’s the version of dotty you’re using? Dotty (0.7.0-RC1) seems to handle this just fine:

Elaborating on @virus_dave’s point: Dotty is still in flux, and the syntax around implicits is in an enormous amount of flux. I recommend reading through the Dotty Docs; implicit functions are now called Context Queries, but that might yet change…