What does value is string text establish when the match succeeds?

What does value is string text establish when the match succeeds?

1. value has a compatible string runtime type, and text is non-null.
2. value may be null, and text receives an empty string.
3. value is converted by calling ToString.
4. Only the compile-time type is checked.