Conspiracy Theory #1

[dsimcha]

== Quote from Rainer Deyke (rainerd at eldwood.com)'s article
> dsimcha wrote:
> > == Quote from Denis Koroskin (2korden at gmail.com)'s article
> > It would be negligible.  The idea is that unions of reference and non-reference
> > types are such a corner case that they could be handled conservatively as a
> > special case, and then it's possible, at least in principle, to deal with the
> > other 99.99999% of cases precisely and being conservative in 0.00001% of cases is
> > really of no practical significance.
> Yes, but a moving GC needs to be 100% precise, not 99.99999%.

Not if you allow pinning, which we'd need anyhow for untyped, conservatively
scanned memory blocks.