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

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

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