I this it's a great idea and with new diagnostic architecture described in the blog post it would be relatively easy to archive.
error: binary operator '+' cannot be applied to operands of type 'String' and 'Int'
_ = "a" + 1
~~~ ^ ~
^
@inlinable public static func + (lhs: String, rhs: String) -> String ^
public static func + (lhs: Int, rhs: Int) -> Int ^
I this it's a great idea and with new diagnostic architecture described in the blog post it would be relatively easy to archive.