Please select what you are reporting on:
Verse
What Type of Bug are you experiencing?
Verse
Summary
The compiler says "Type variable t is unused. To avoid an ambiguous type for t, ensure it is used in an argument position.(3503)" even tho there it shouldn’t.
Steps to Reproduce
Copy and paste this into an empty verse script:
test_class(t: type):=class:
# x:t
TestFunction(Arg: test_class(t) where t: type):void = ()
You will see the error being mentioned on the TestFunction.
Now uncomment the class field of type t:
test_class(t: type):=class:
x:t
TestFunction(Arg: test_class(t) where t: type):void = ()
No errors at all.
Expected Result
There shouldn’t be an error.
Observed Result
There is one
Platform(s)
All