HoleInferred to use the pre-implicit-variables infer context