Wrong type is reported in type mismatch error

[auduchinok]

let x: int * int * int = 1, ""

We're trying to use the type info reported in the error and in this case it works in an unexpected way.

It would be better to have an instance of FSharpType contained in the error somehow but until it's not implemented it'd be good to report the correct type.

[auduchinok]

It looks like the compiler assumes that present items always have matching types:

let x: int * string * int = "", 1

let x: int * int = "", "", 1

[dsyme]

I suppose that in ConstraintSolver.fs, we should report

           ErrorD(ConstraintSolverTupleDiffLengths(csenv.DisplayEnv, origl1, origl2, csenv.m, m2)) 

on length mismatch before we process the list element by element.