Code path analysis

[suica]

Eslint implements code path analysis, which allows eslint to use control-flow information to implement following rules:

• feat(linter): eslint/no-unreachable #621
• feat(linter): eslint/no-fallthrough #597
• constructor-super (current OXC does some workarounds to implement this, but dropped some test cases from eslint (for all test cases, see 1))
• feat(linter): eslint/no-this-before-super #618
• consistent-return (it is not in the eslint recommended list and could be ignored for now)

Oxc also needs such mechanism to implement those rules precisely.

Discussions can be found at #222

[suica]

Closed as a dup. Discussions can be found at #222