As ExpressibleByStringLiteral inherits from ExpressibleByExtendedGraphemeClusterLiteral which in turn inherits from ExpressibleByUnicodeScalarLiteral there won’t be an ABI stable way to stop let a: String = ‘a’ from working. I don’t see it as a problem. This is the reason ’a’ + ‘b’ == “ab”.