class Box<T>(t: T) { var value = t }
val box: Box<Int> = Box<Int>(1)
val box = Box(1) // 1 的类型为 Int, 因此编译器知道我们创建的实例是 Box<Int> 类型