Compare commits

...

2 commits

Author SHA1 Message Date
50eb7a9673 [fine] This one too 2024-01-13 08:16:50 -08:00
1c1c03e1d9 [fine] Make sure we check this one 2024-01-13 08:15:10 -08:00

View file

@ -1,5 +1,11 @@
fun foo(x: f64) {}
let x = foo("hello");
x;
let y = foo();
y;
let a = foo(2, 3);
a;
// @type-error: 41 parameter 0 has an incompatible type: expected f64 but got string
// @type-error: 41 parameter 0 has an incompatible type: expected f64 but got string
// @type-error: 59 expected 1 parameters
// @type-error: 81 expected 1 parameters