review (S) for 6885584: A particular class structure causes large allocation spike for jit

[John Rose]

Yes, that's a good fix.  Thanks for puzzling out that death march.

Now I'd like to push Type::filter into Type::widen, except that it's  
used in a couple of other places.

-- John