A modern programming language that makes developers happier.

kotlinlang

Hi. I'm implementing a toy ServiceLocator kind of thing.
Is it possible to achieve something akin to this via the type system?

```
fun registerService(interface: ???, impl: ???) { ... }

registerService(UserInterface::class, UserService()) // ok
registerService(CarInterface::class, CarService()) // ok
registerService(ChairInterface::class, TableService()) // fail, because TableService does not implement ChairInterface
```

`fun &lt;T : Any&gt; registerService(interface: KClass&lt;T&gt;, impl: T)`

Can I extend this constraint to my MutableMap serviceCache as well, I wonder.. :thinking_face:  Or would I have to be content with Map&lt;Any, Any&gt;