<snip>
- given invariant(int)[][], both possible conversions are covered
-- const(int[])[] by first applying 1(b) to invariant(int) and then by applying 2(a) with T = const(int)[]
-- const(invariant(int)[])[] by just applying 1(b) to invariant(int)[]
<snip>

Hang on ... this involves applying 2(a) as well.

Stewart.

Reply via email to