The current SemanticTester is great to do many kinds of assertions. Such as

But I kind of think the SemanticTester might not be that intuitive for testing general scope resolving logic, which means weather the symbol has correct scope and don't care about the flags or others.

Let's see we have test case

log()

let a = 1
log(a)
let b = 1
log(b)
{
  let a = 2
  log(a)
  log(b)
}

we could transform it to

log#0()

let a#1 = 1
log(a#1)
let b#1 = 1;
log(b#1);
{
  let a#2 = 2;
  log(a#2)
  log(b#1)
}

the x in #x is the ScopeId we get from the Sematics.

In this way, we could easily visualize the whether the scope is correct. And with snapshot testing, this could be a general way for testing without any other kinds of assertions.

I get this idea from contributing to swc. https://github.com/swc-project/swc/blob/main/crates/swc_ecma_transforms_base/tests/resolver/hoisting/output.js