赋值兼容性

表达式 b 可以赋给表达式 a 如果 a 是 左值 并且 isImplicitlyConvertible(b.typ, a.typ) 成立。