value is string text匹配成功时建立了哪些事实？

value is string text匹配成功时建立了哪些事实？

1. value的运行时类型与string兼容，而且text非null。
2. value可以为null，而text会得到空字符串。
3. 会调用ToString转换value。
4. 只会检查编译时类型。