"Expression switches" section of Switch statements has the following note about untyped case expressions:

If a case expression is untyped, it is first converted to the type of the switch expression.

I have the following code that is rejected by the compiler:

package main

func main() {
	var s string = "123"
	switch s {
	case 123: // error: invalid case 123 in switch on s (mismatched types int and string)
	}
}

123 is untyped constant and it is possible to convert it to string type. This possibility is mentioned as a special case in Conversions:

As a special case, an integer constant x can be converted to a string type using the same rule as for non-constant x.

So, this makes me wonder if spec is inaccurate here and convertibility requirements for untyped case expressions should not include special cases? Sorry if I am missing something obvious.