扩展函数内部的不可变val空检查

当我有一个不可变的val选项时,编译器跟踪我对空执行的检查的信息,并且可以将变量视为非空,并直接在if条件内调用它。

val s: String? = "test"

if (s != null) {
   s.startsWith("3") // This works
}

if (!s.isNullOrEmpty()) {
    s.startsWith("3") // Not working
}

是否可以签入扩展函数并让编译器知道它?