[fine] Make sure we check this one

This commit is contained in:
John Doty 2024-01-13 08:15:10 -08:00
parent 5ebede4a21
commit 1c1c03e1d9

View file

@ -1,5 +1,8 @@
fun foo(x: f64) {}
let x = foo("hello");
x;
let y = foo();
y;
// @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