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