No idea where this is documented in detail - I don’t see it explicitly spelled out in the string interpolation doc and I also have a hard time interpreting the grammar. But I think double quotes cannot be contained (or escaped) in “single double quote” interpolated strings; you’ll have to use the “triple double quote” variant: