func f0<T>(type: T.Type = T.self) -> T? { return nil } let a: Int = f0() ?? 0 let b = f0(type: Int.self)