== Quote from Rainer Deyke ([email protected])'s article > dsimcha wrote: > > == Quote from Denis Koroskin ([email protected])'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.
