I tried the approach from @Aidin:

class Example<
    T extends (string extends T ? never : string),
> {}

Which gave me this error:

Type parameter 'T' has a circular constraint.ts(2313)

This fixed it for me:

class Example<
  T extends string & (string extends T ? never : unknown)
> {}