Type inference issue expected Test(a) but found Test(a) about gleam HOT 3 OPEN

I've tried adding the annotation -> Test(a) to test2 and it fixes the problem; my guess is that this bug is caused by #2533 and the fact that test2 has an unbound type variable (instead of a generic one, like test) in its return type when given no annotation

from gleam.

Thank you

my guess is that this bug is caused by #2533 and the fact that test2 has an unbound type variable (instead of a generic one, like test) in its return type when given no annotation

I think this is a different situation. In this one the functions are mutual, which means this inference is happening before either is generalised. They will always be unbound without annotations in this case.

from gleam.

Ah I see, thanks for the explanation!

from gleam.