This is because we are in a huge "rec" that takes precedence for symbols in its scope, despite the more nested "with". (cherry picked from commit 7ee8945a120da5b10fa0eac9fc59b92531ac8552)
This is because we are in a huge "rec" that takes precedence for symbols in its scope, despite the more nested "with". (cherry picked from commit 7ee8945a120da5b10fa0eac9fc59b92531ac8552)