Unused value analysis on unused this value can suggest uncompilable code

[cartermp]

Given the following:

type C() as this = class end

this will be marked as an unused value:

But the second option will result in code that will not compile: