redundant self type is unusable

[jvasileff]

I'm not sure what to make of this, but a value that satisfies a self type two different ways cannot be used:

void boxIntersection<I>(I i)
        given I satisfies Summable<I> {

    assert (is Integer i);

    print(i + i);
    // Right operand must be of compatible summable type:
    // type cannot be determined

    print((i of Integer) + i); // ok
    print((i of I) + i); // ok
}

[gavinking]

Ahahahaha, I was confused for a sec, but then I realized you just ran into our famous case of not being able to form a principal instantiation for the intersection of two instantiations of an invariant type where in one instantiation the type arg is a type parameter. A corner case that @RossTate first pointed out.

[gavinking]

So I'm not sure if there's anything I really should do about this one. What I mean is: while I could surely write some complicated code to ad hoc detect this corner case and let it in, it's not clear to me that this would be worth the effort. I mean, the workaround is pretty trivial really.

Anyway, I don't think it's blocking the 1.2 release.

[jvasileff]

Ok, yeah, interesting.

[RossTate]

psychic 😄