I am thinking of asking for feature request - smart cast after a requireNonNull invocation. Any thoughts?

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?
}