Oops: Caching of reinfer-root type-check was wrong