## Alternative interpolated verbatim strings

Champion issue: <https://github.com/dotnet/csharplang/issues/1630>

In C# 8.0 we added a feature that permits an interpolated verbatim string to be introduced with the characters `@$"` or the characters `$@"`.  This is a placeholder for its specification.
