@swift-ci create

Unfortunately there is no `Behaves Correctly` resolution but I think this is so, because the default type of a string literal is “String”, since `foo()` returns Self there is only one step to take here is to infer “.” as String to make forward progress. It works for 0 because Double is a fallback default for numeric literal. You'd have to use `"." as Character` to make it work.

Comment by Frederick Kellison-Linn (JIRA)

@xedin Ah, interesting—I would expect the constraint system to attempt solving this with both `bar` overloads, seeing that the `(String) -> Void` overload fails, then attempt with the `(Character) -> Void` overload and find the "correct" solution. Is it always the case that "forward progress" is acheived first by defaulting a literal type rather than attempting the overload disjunction paths?

jumhyn (JIRA User) Is it always the case that "forward progress" is acheived first by defaulting a literal type rather than attempting the overload disjunction paths?

Not always, but it depends, on what constraint system looks like, sometime bindings are preferred over disjunctions. I think in this particular case you could make the expression type-check if you made `Character` conform to `ExpressibleByStringLiteral` which it isn't by default, that's another reason why `bar(_: Character)` doesn't work.