Use Pick type to define Class prototype.

[ajvincent]

Fixes #696 .

[ajvincent]

@Lodin I could use a little more help. I copied your test for Class (thank you very much for that), using better names, but I couldn't immediately come up with a good abstract class test in this scenario.

[sindresorhus]

@ajvincent Maybe ChatGPT can help. Can you try out this? https://chat.openai.com/share/232f2043-f201-40c6-8b7a-1fb8b9b96c80

[ajvincent]

@ajvincent Maybe ChatGPT can help. Can you try out this? https://chat.openai.com/share/232f2043-f201-40c6-8b7a-1fb8b9b96c80

No good. The problem is their test also passes under the current AbstractClass type. The same is true for any test case I can imagine.

(Sorry for the lengthy delay. I've been exceedingly busy in the last few weeks.)

[ajvincent]

Obligatory playground link

[sindresorhus]

@Emiyaaaaa Any ideas? ⬆️

[Emiyaaaaa]

@Emiyaaaaa Any ideas? ⬆️

Looks like it's been resolved by @ajvincent 👍

[sindresorhus]

@Emiyaaaaa No. It's still missing a test, as mentioned.

The problem is their test also passes under the current AbstractClass type. The same is true for any test case I can imagine.

⬆️

[Emiyaaaaa]

Obligatory playground link

Resolved here @sindresorhus

[ajvincent]

No, no, no, it had not been resolved. I posted that while I was still wandering around in the weeds.

The solution came to me while I was away from my desk yesterday: only the class needs to be abstract. Not the members. Other than that, it's the same test as Class gets.

In case it's unclear, it's fixed now. :)

[ajvincent]

Playground Link

If line 33 says false extends true ?, the test fails. If line 33 says true extends true, the test passes. Which is what I was aiming for.