Question about contracts: Is there a way to say th...

# announcements

[Ruckus]

Question about contracts: Is there a way to say that, after a function runs, the parameter will always be a specific sub-type?

Untitled.kt