Not the case when you have polymorphic literals, like in Swift or Haskell: let x: Int = 123 let y: Double = 123 But it looks like here the problem was

Not the case when you have polymorphic literals, like in Swift or Haskell: let x: Int = 123 let y: Double = 123 But it looks like here the problem was not the type checker anyway.