semantics: scopes for with statements are not created (Object Environment Record)

[sapphi-red]

Currently semantic does not track scopes of with statements.
is_global_reference may return true even if that reference refers to a property of an object passed to a with statement.

oxc/crates/oxc_semantic/src/symbol.rs

Lines 342 to 346 in e4d66e4

	fn is_global_reference(&self, symbols: &SymbolTable) -> bool {
	self.reference_id
	.get()
	.is_some_and(|reference_id| reference_id.is_global_reference(symbols))
	}

This leads to minification errors for codes like:

const foo = {
  Object: class {
    constructor() { console.log('Constructor') }
  }
}
with (foo) {
    console.log(new Object()) // should print "Constructor"
}

playground

This minification error may be fine as the minifier does not support with statements (for now?). But in this case, I think a warning should be output if the minifier found a with statement.

oxc/tasks/coverage/src/tools/minifier.rs

Line 44 in e4d66e4

// Unable to minify non-strict code, which may contain syntaxes that the minifier do not support (e.g. `with`).

[sapphi-red]

These PRs assumes that with statement does not exist (for now)

• feat(minifier): compress a.b || (a.b = c) to a.b ||= c #8366
• feat(minifier): compress a.b = a.b + c to a.b += c #8367
• feat(minifier): compress x = x || 1 to x ||= 1 #8368