Type inference regression (regression)

TypeScript Version: 3.0.0-dev.20200312

Search Terms:

Code

export interface Supervisor<N extends string, P = undefined, R = P, S = undefined> {
  constructor: typeof Supervisor;
}
export abstract class Supervisor<N extends string, P = undefined, R = P, S = undefined> {
  constructor() {
    if (this.constructor === Supervisor) this.id;
  }
  public id = 0;
  public abstract call(name: N | ('' extends N ? undefined | ((names: Iterable<N>) => Iterable<N>) : never), param: P, timeout?: number): Promise<R>;
}

Expected behavior:
pass
Actual behavior:
Property 'id' does not exist on type 'never'.(2339)
Playground Link: http://www.typescriptlang.org/play/index.html?ts=3.9.0-dev.20200312&ssl=1&ssc=1&pln=10&pc=2#code/KYDwDg9gTgLgBASwHY2FAZgQwMbDgZQFcw0A3BAZ2gB4A5OUVJAEwrgpimQHMAaOAApwAvHEItg6ZMGb8ASiMH98i8c0nTmAPjgBvAFBw42CEg5RC2GNABccGAE8SEdAWJlK0ANz6AvvtBIWDhMACNzHHhsABtMCjYiEihyKig6BhAmVnZOHn4hUTUNJBl5RQFlVQkpEu09Q2NTc0trKAAKAEp6oyMEVzaYAAtKADoTM04W6BFhUUSPVK6h0YRmHyN-IzBCUOiEbERmRQAGdbht3f2Q8M5I40xo6LakTABbYDt6AB84NoByP4ZLJsegAfjE1U0cB+bWeb2AFDsAElUFAwtFgHQtF1hDoUWh0ZjaNi4HYSqQ0B1+GBMGjXnYKvYEO8IIQYKCyYRXqFKQyoBBXpRMXItD5fEA

Related Issues:

Start by reproducing the example in the linked TypeScript Playground using the reported compiler version and confirm the diagnostic on this.id. Then trace the type-checking path for this.constructor === Supervisor and type inference around the generic abstract class. Done means the example passes without reporting that id is missing from never, with a regression test added for this case.