another heisenbug related to manifest.erasure/lazyvals?