Sean Kelly wrote: > > I would expect to see: > > proc:T > proc:T[] > > Because proc:T[] is more specialized and thus should be preferred for > the second call. Instead, it prints: > > proc:T > proc:T[] Er, I meant that it prints: proc:T proc:T Sean