T is Optional<T> の変換。 T? = x の形のとき、xがT?でなければ、x: T とみなしたうえで T -> T? の変換ができるか試行する