As a result of #10569 (closed), out of scope variables are turned into special type holes so that type information of the variable can be attached to the error message. However, this causes problems when used with -fdefer-typed-holes as scope errors have been turned into type errors and are now deferred when using this flag.

Richard sums up the situation, "Even if someone is deferring type errors, I imagine most people don't want to defer scope errors". It would be good to add a flag which controls whether out of scope variables are also deferrable when used with existing deferral flags.

Goal: Add a flag -fdefer-out-of-scope-variables which controls whether out of scope variables are deferred when using -fdefer-typed-holes. It should be turned off by default.