bolt/test/checker/local_constraints_polymorphic_variable.bolt

9 lines
85 B
Text

let fac n.
n + 1
return n
@expect_diagnostic 2010
@:Int fac "foo"
@:Int fac 1