Alaksiej Ščarbaty

Is anyone working on this issue?

Okay. I could start working on it. However, it might take some time

> I think these might also be deliverables for full coverage: > ... > * `assertInstanceOf` (similar to non-null, but with `implies (actualValue is T)`) Contracts with reified generics are...

Since kotlin version [has been bumped to 1.6](https://github.com/junit-team/junit5/blob/main/platform-tooling-support-tests/projects/gradle-kotlin-extensions/build.gradle.kts#L23), it should be possible to implement `assertInstanceOf` with a contract specified

It's possible with the help of `kotlin.contracts.ContractBuilder`. I can prepare a pull request containing `assertNonNull` and `assertInstanceOf` methods. In the meantime, you can write these methods in your repo by...

@marcphilipp I noticed this issue first. I think, it can be closed as a duplicate of #1866

+1 to this issue I have 'producer' and 'producer-api' modules. I import 'producer-api' both to 'producer' and 'consumer' modules, so it seems natural to store 'producer' contracts in 'producer-api' module

Is there anything else that should be added/adjusted? Otherwise, I'd say the pr is in its final form

What do you think about the pr, @marcphilipp, @JLLeitschuh?

Hi. I believe the change is still relevant and the pr is ready to be reviewed.