`Exclude<Exclude<T, null>, undefined>` is not assignable to `Exclude<T, null | undefined>` and vice versa

TypeScript Version: Nightly

Search Terms:
typescript nullness inference

Expected behavior:
They should be assignable to each other.

Actual behavior:
They are not considered assignable to each other.

Type 'Exclude<Exclude<T, null>, undefined>' is not assignable to type 'Exclude<T, null | undefined>'.
  Type 'Exclude<T, null>' is not assignable to type 'Exclude<T, null | undefined>'.
    Type 'T' is not assignable to type 'Exclude<T, null | undefined>'.(2322)

and

Type 'Exclude<T, null | undefined>' is not assignable to type 'Exclude<Exclude<T, null>, undefined>'.
  Type 'T' is not assignable to type 'Exclude<Exclude<T, null>, undefined>'.(2322)

Related Issues:
N/A

Code

export function f<T>(v: Exclude<Exclude<T, null>, undefined>) {
    const w: Exclude<T, null | undefined> = v;
}

export function g<T>(v: Exclude<T, null | undefined>) {
    const w: Exclude<Exclude<T, null>, undefined> = v;
}

export function f(v) {
    const w = v;
}
export function g(v) {
    const w = v;
}

{
  "compilerOptions": {
    "noImplicitAny": true,
    "strictNullChecks": true,
    "strictFunctionTypes": true,
    "strictPropertyInitialization": true,
    "strictBindCallApply": true,
    "noImplicitThis": true,
    "noImplicitReturns": true,
    "useDefineForClassFields": false,
    "alwaysStrict": true,
    "allowUnreachableCode": false,
    "allowUnusedLabels": false,
    "downlevelIteration": false,
    "noEmitHelpers": false,
    "noLib": false,
    "noStrictGenericChecks": false,
    "noUnusedLocals": false,
    "noUnusedParameters": false,
    "esModuleInterop": true,
    "preserveConstEnums": false,
    "removeComments": false,
    "skipLibCheck": false,
    "checkJs": false,
    "allowJs": false,
    "declaration": true,
    "experimentalDecorators": false,
    "emitDecoratorMetadata": false,
    "target": "ES2017",
    "module": "ESNext"
  }
}

Playground Link: Provided

Bắt đầu với liên kết Playground được cung cấp và các hàm generic f và g dưới các tùy chọn trình biên dịch nghiêm ngặt đã liệt kê. Theo dõi cách trình biên dịch kiểm tra hai kiểu Exclude lồng nhau, sau đó xác minh rằng cả hai phép gán đều được chấp nhận mà không có các lỗi TS2322 được báo cáo, đồng thời giữ nguyên đầu ra được phát ra như đã hiển thị.