nikolaymetchev
fun m(s: String?) { requireNonNull(s,{"s shouldn't be null"}) s.length //s cannot be null here! Would a smart cast be a good idea here? }