TS Abstract method implementation can define any element of union-type as parameter

Question

The following code throws no type error (as of TypeScript 4.1.2):

abstract class Abstract {
    abstract method(x: stri