The type checker can't infer the type when you hav...

# coroutines

[marstran]

The type checker can't infer the type when you have a recursive call. It hasn't got anything to do with coroutines. The same problem happens with just fun provide() = provide().