Make this a separate test: "incompatible types"