Tom Tromey writes: > I think we should just get rid of -fnew-verifier and instead have that > be implied by -findirect-dispatch. OK. > First, -findirect-dispatch actually already requires this, and > second, that way we don't have to document it (and then keep it > around for years even after it is useless). Why not nuke the old verifier? Andrew.