Control flow analysis gets confused by decorators

🔎 Search Terms

decorators super control flow

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

https://www.typescriptlang.org/play?target=99#code/HYUw7gBAxgNghgZwRAghEAPALiYATZWRZAbwjgAoBKCEgXwgZICgJoB7YBLAJwFcoWdj2q1WbCAj4AHECKoBuZuLYwQWcgDMcPJROjwkEAEJj9bAAIU42uRAC8kmXIB0cADQQKAfQCMn7wAmGnsAPlo6Gk0HCAAiWL0JOmV9Gx1qROS6IA

💻 Code

new class A extends class { a() {} } {
  constructor() {
    super();

    let after;
    class B {
      @(after = super.a, (_1, _2) => {}) f = "";
    }

    after();
  }
}

🙁 Actual behavior

TS complains that:

• I'm accessing super.a before calling super()
• I'm calling after before initializing it

🙂 Expected behavior

That code should be fine

Additional information about the issue

No response