Iterator problem

[MovingtoMars]

I'm not sure what's going on yet.

ark build -I lib tests/iterator.ark -o a.out --loglevel=debug

error: [iterator:23:40] Mismatched types: int and T
            Some(val) => {io::printInt(val); io::println("");},
                                       ^

[MovingtoMars]

Caused by commit 9b9e92c

[kiljacken]

Any time a substitution type leaks you can bet the problem is in the inference. I'll start looking at it once I'm done with breakfast

[kiljacken]

This happens due to inference of generics being a problematic to manage cleanly with the current system of generics. A clean fix depends on #739

[MovingtoMars]

What do you mean?

[kiljacken]

The thing that happens is, that we "infer" the type of the variable, as a Substitution type is treated like any old type. And because we do this before the actual type is inferred we end up using the substitution type instead. Thus the need to check whether a type contains any unsatisfied generic parameters