A modern programming language that makes developers happier.

kotlinlang

Since I wanted to specialize some return types in externals subclasses/subinterfaces, I ended up using:
```@Suppress("VAR_TYPE_MISMATCH_ON_OVERRIDE")```
<https://github.com/lppedd/kotlin-externals/commit/275f011ea65ebc6e6c57b855f71c4697d5ec8d70>

It compiles, but with K2 I get:
```This code uses error suppression for 'VAR_TYPE_MISMATCH_ON_OVERRIDE'. While it might compile and work, the compiler behavior is UNSPECIFIED and WON'T BE PRESERVED```
So I was wondering if it make sense to keep it. Haven't found another way apart from using annotations.

I mean, as we discuss such changes just not sound in terms of type system.
You could keep it, but we don't guarantee stability for code that uses `@Suppress`.

By stability you mean that the suppression could just stop working?

Yes, or the code that worked before with the new release could stop working.

Ok! I'll keep it for now, since the places where it's done are very limited.

If it will stop working - we have magic pills :)