【Android,Kotlin】Null許容型(?)をunwrapするパターン

fun f(foo: Foo) { … }

var foo: Foo? = … 
fun g() {
  f(foo) // コンパイルエラー
}

fun f(foo: Foo) { … }

var foo: Foo? = …
fun g() {
  if (foo == null) {
    return …
  }
  // foo が null のときはここには来ないのでここでは foo は Foo と推論される
  f(foo) // コンパイルエラーにならない
}

fun f(foo: Foo) { … }

var foo: Foo? = …
fun g() {
  // foo が null なら return. null でないなら新たに foo に代入→新たなfooの型はFoo
  val foo = foo ?: return …

  f(foo) // コンパイルエラーにならない
}

fun f(foo: Foo) { … }

var foo: Foo? = …
fun g() {
  // foo が null ならデフォルト値を入れておく
  val foo = foo ?: Foo()

  f(foo) // コンパイルエラーにならない
}

fun f(foo: Foo) { … }

var foo: Foo? = …
fun g() {
  // foo が null なら return. null でないなら新たに foo に代入→新たなfooの型はFoo
  foo?.let { foo ->
    // 無名関数の引数fooの型はFoo
    f(foo) // コンパイルエラーにならない
  }
}