My thinking for ways to avoid this scenario are: - If there is no concrete type that you can infer for the given literal, throw a type error. - If there is no

My thinking for ways to avoid this scenario are: - If there is no concrete type that you can infer for the given literal, throw a type error. - If there is no concrete type that you can infer for the given literal, fall back to a default, e.g. Int. But this sort of situation is why backtracking during type inference can lead to pathological behavior.