see https://rustc-dev-guide.rust-lang.org/type-inference.html#creating-an-inference-context This enter method was removed a while ago, but the documentation is still there