Excerpts from John Napiorkowski's message of Thu Sep 03 21:08:44 -0400 2009: > > This surprised me, and means that Native::Trait::Array/Hash totally don't > > work > > with subtypes of parameterized types. > > As I said, this was the best idea we could come up with without any real use > cases. Seems we have one now :)
Oh, the fact that the Native stuff doesn't work is a bug there, not in the TypeConstraint code. I think the TC code makes sense. (Florian disagrees, but he's a cantankerous German, and their opinions cannot be trusted.) hdp.
