Type mismatch when splicing expression into quotation literal. The type of the expression tree being inserted doesn't match the type expected by the splicing operation. Expected '{0}', but received type '{1}'. Consider type-annotating with the expected expression type, e.g., (%% x : string) or (%x : string).
Type mismatch when building '{0}': expected function type in function application or let binding. Expected '{1}', but received ...
Type mismatch when building '{0}': invalid parameter for a method or indexer property. Expected '{1}', but received type ...
Type mismatch when building '{0}': mismatched type of argument and tuple element. Expected '{1}', but received type '{2}'. ...
Type mismatch when building '{0}': the variable type doesn't match the type of the right-hand-side of a let binding. Expected ...
Type mismatch when splicing expression into quotation literal. The type of the expression tree being inserted doesn't match ...
type must correspond to Platform::Boolean, default::uint8, default::int8, default::int16, default::uint16, default::int32, ...
type must correspond to System::Boolean, System::Byte, System::SByte, System::Int16, System::UInt16, System::Int32, System::UInt32, ...
Type of conditional expression cannot be determined because there is no implicit conversion between '%1!ls!' and '%2!ls!' ...
Type parameter '|1' has the same name as a type parameter of an enclosing type. Enclosing type's type parameter will be shadowed. ...