泛型类使用时遭遇类型交集为'never'的报错问题求助

各位大佬，我最近写TypeScript时碰到个泛型类的问题，折腾半天没搞定，来求助啦！

先给大家看看我定义的泛型类：

class Op<T extends number | string> {
  public op(value: T): void { /* 这里是处理value的逻辑 */ }
  public out(): T {
    return /* 返回对应类型的值 */
  }
}

这个类在常规场景下用着挺正常的，比如：

const pp = new Op<string>()
pp.op('91') // 编译器能识别这里必须传字符串，传数字会直接报错
pp.out()    // 编译器也能准确推断出返回值是字符串类型

但我在某些特定场景下使用时，居然出现了类型交集变成never的报错，试了好几种调整方式都没解决，想问问大家有没有遇到过类似情况，或者有什么可行的解决思路呀？

内容来源于stack exchange