error: type mismatch: addition operator is not supported for type `File` and type `File`
┌─ tests/analysis/numeric-mismatch/source.wdl:22:15
│
22 │ File a5 = d + d # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `File`
│ this is type `File`
error: type mismatch: string concatenation is not supported for type `Int?`
┌─ tests/analysis/numeric-mismatch/source.wdl:26:21
│
26 │ String a9 = c + f # NOT OK
│ ^ this is type `Int?`
error: type mismatch: string concatenation is not supported for type `String?`
┌─ tests/analysis/numeric-mismatch/source.wdl:27:22
│
27 │ String a10 = c + g # NOT OK
│ ^ this is type `String?`
error: type mismatch: string concatenation is not supported for type `File?`
┌─ tests/analysis/numeric-mismatch/source.wdl:28:22
│
28 │ String a11 = c + h # NOT OK
│ ^ this is type `File?`
error: type mismatch: string concatenation is not supported for type `Float?`
┌─ tests/analysis/numeric-mismatch/source.wdl:29:22
│
29 │ String a12 = c + i # NOT OK
│ ^ this is type `Float?`
error: type mismatch: subtraction operator is not supported for type `Int` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:43:17
│
43 │ String s2 = a - c # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `String`
│ this is type `Int`
error: type mismatch: subtraction operator is not supported for type `String` and type `Int`
┌─ tests/analysis/numeric-mismatch/source.wdl:44:17
│
44 │ String s3 = c - a # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `Int`
│ this is type `String`
error: type mismatch: subtraction operator is not supported for type `String` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:45:17
│
45 │ String s4 = c - c # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `String`
│ this is type `String`
error: type mismatch: subtraction operator is not supported for type `File` and type `File`
┌─ tests/analysis/numeric-mismatch/source.wdl:46:15
│
46 │ File s5 = d - d # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `File`
│ this is type `File`
error: type mismatch: multiplication operator is not supported for type `Int` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:52:17
│
52 │ String m2 = a * c # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `String`
│ this is type `Int`
error: type mismatch: multiplication operator is not supported for type `String` and type `Int`
┌─ tests/analysis/numeric-mismatch/source.wdl:53:17
│
53 │ String m3 = c * a # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `Int`
│ this is type `String`
error: type mismatch: multiplication operator is not supported for type `String` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:54:17
│
54 │ String m4 = c * c # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `String`
│ this is type `String`
error: type mismatch: multiplication operator is not supported for type `File` and type `File`
┌─ tests/analysis/numeric-mismatch/source.wdl:55:15
│
55 │ File m5 = d * d # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `File`
│ this is type `File`
error: type mismatch: division operator is not supported for type `Int` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:61:17
│
61 │ String d2 = a / c # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `String`
│ this is type `Int`
error: type mismatch: division operator is not supported for type `String` and type `Int`
┌─ tests/analysis/numeric-mismatch/source.wdl:62:17
│
62 │ String d3 = c / a # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `Int`
│ this is type `String`
error: type mismatch: division operator is not supported for type `String` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:63:17
│
63 │ String d4 = c / c # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `String`
│ this is type `String`
error: type mismatch: division operator is not supported for type `File` and type `File`
┌─ tests/analysis/numeric-mismatch/source.wdl:64:15
│
64 │ File d5 = d / d # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `File`
│ this is type `File`
error: type mismatch: remainder operator is not supported for type `Int` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:70:19
│
70 │ String mod2 = a % c # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `String`
│ this is type `Int`
error: type mismatch: remainder operator is not supported for type `String` and type `Int`
┌─ tests/analysis/numeric-mismatch/source.wdl:71:19
│
71 │ String mod3 = c % a # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `Int`
│ this is type `String`
error: type mismatch: remainder operator is not supported for type `String` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:72:19
│
72 │ String mod4 = c % c # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `String`
│ this is type `String`
error: type mismatch: remainder operator is not supported for type `File` and type `File`
┌─ tests/analysis/numeric-mismatch/source.wdl:73:17
│
73 │ File mod5 = d % d # NOT OK
│ ^^^^^
│ │ │
│ │ this is type `File`
│ this is type `File`
error: type mismatch: exponentiation operator is not supported for type `Int` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:79:17
│
79 │ String e2 = a ** c # NOT OK
│ ^^^^^^
│ │ │
│ │ this is type `String`
│ this is type `Int`
error: type mismatch: exponentiation operator is not supported for type `String` and type `Int`
┌─ tests/analysis/numeric-mismatch/source.wdl:80:17
│
80 │ String e3 = c ** a # NOT OK
│ ^^^^^^
│ │ │
│ │ this is type `Int`
│ this is type `String`
error: type mismatch: exponentiation operator is not supported for type `String` and type `String`
┌─ tests/analysis/numeric-mismatch/source.wdl:81:17
│
81 │ String e4 = c ** c # NOT OK
│ ^^^^^^
│ │ │
│ │ this is type `String`
│ this is type `String`
error: type mismatch: exponentiation operator is not supported for type `File` and type `File`
┌─ tests/analysis/numeric-mismatch/source.wdl:82:15
│
82 │ File e5 = d ** d # NOT OK
│ ^^^^^^
│ │ │
│ │ this is type `File`
│ this is type `File`