Repository: TypeScript
Issue: Regression Bug: Error "The type of this node cannot be serialized because its property '[fooSymbol]' cannot be serialized." happens but potentially avoidable automatically.
Labels: Needs Investigation

### 🔎 Search Terms

"symbol", "generics", "serialization", "module", "export", "degression"

### 🕗 Version & Regression Information

The main behaviour can be categorized in 3 kinds in recent versions. Recommended to read code example first.

- This changed between versions 4.7 and 4.8
  - But the details of its behaviour is continue to change subtly in next versions.
- I confirmed `g1` and `g2` both can be exported without an error in:
  - [v4.7.4](https://www.typescriptlang.org/play/?ts=4.7.4#code/AQ4UwDwBwewJwC7AMYwHYGckDMYwMoCeAtgEYwA2wAvMEWZQBQDkuMzAlANwBQksiYAkJQwwAGJ565KrWGiY2YG2mVefaPCSpMOGsAA8AFXAQEYNABMMwGKQBWYZAgB8jbBQCGAcwBcwckowTzQOGhdgRgA3fxMAMmAAb2AAbQBpYABLNAkpEhkAXX8AVzQAazQYAHccgF8w6gjkgHoAKmAMGGIxChhvTOQbVubgWt5mke8ARn8AUTg4eFiACzF5MUUhZcybSssxZBDKpFIxDDA4TM8KTIAvMEsAp09i86yEGyhF0URCYGYUip8pQCswUEcYCczhcrjd7pYAHSMAAsUymAA4OBoBNp0FhgNN9MZTOYrDY7I5nG4GhFsMY3Ag4MUwNxsVoUHikN4AExEkyQUnWWwOJyuRg0yIxYDxJKpDLZXIEYEUIrAUoVap1CXJHT4jw+fSM5lcYBtDpdHp9AZDEZjHhAA)
  - [v4.6.4](https://www.typescriptlang.org/play/?ts=4.6.4#code/AQ4UwDwBwewJwC7AMYwHYGckDMYwMoCeAtgEYwA2wAvMEWZQBQDkuMzAlANwBQksiYAkJQwwAGJ565KrWGiY2YG2mVefaPCSpMOGsAA8AFXAQEYNABMMwGKQBWYZAgB8jbBQCGAcwBcwckowTzQOGhdgRgA3fxMAMmAAb2AAbQBpYABLNAkpEhkAXX8AVzQAazQYAHccgF8w6gjkgHoAKmAMGGIxChhvTOQbVubgWt5mke8ARn8AUTg4eFiACzF5MUUhZcybSssxZBDKpFIxDDA4TM8KTIAvMEsAp09i86yEGyhF0URCYGYUip8pQCswUEcYCczhcrjd7pYAHSMAAsUymAA4OBoBNp0FhgNN9MZTOYrDY7I5nG4GhFsMY3Ag4MUwNxsVoUHikN4AExEkyQUnWWwOJyuRg0yIxYDxJKpDLZXIEYEUIrAUoVap1CXJHT4jw+fSM5lcYBtDpdHp9AZDEZjHhAA)
  - [v4.5.5](https://www.typescriptlang.org/play/?ts=4.5.5#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
- And both `g1` and `g2` cannot be exported in:
  - [v4.8.4](https://www.typescriptlang.org/play/?ts=4.8.4#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
  - [v4.9.5](https://www.typescriptlang.org/play/?ts=4.9.5#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
  - [v5.0.4](https://www.typescriptlang.org/play/?ts=5.0.4#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
  - [v5.1.6](https://www.typescriptlang.org/play/?ts=5.1.6#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
  - [v5.2.2](https://www.typescriptlang.org/play/?ts=5.2.2#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
  - [v5.3.3](https://www.typescriptlang.org/play/?ts=5.3.3#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
  - [v5.4.5](https://www.typescriptlang.org/play/?ts=5.4.5#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
- And only `g2` can be exported without an error.
  - [v5.5.4](https://www.typescriptlang.org/play/?ts=5.5.4#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)
  - [v5.6.2](https://www.typescriptlang.org/play/?ts=5.6.2#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA)

### ⏯ Playground Link

https://www.typescriptlang.org/play/?ssl=1&ssc=1&pln=2&pc=1#code/KYDwDg9gTgLgBAYwgOwM7wGYQgZQJ4C2ARhADZwC8c+xZAFAORYQMCUA3AFCiSxwx4wwOADFsNEuSoChEDHGYSyXbuGjwkaTJTgAeACpxQMYMgAmqOBCIArYAhgA+OhlIBDAOYAuOCTLA3ZFZKRzg6ADcfQwAyOABvOABtAGk4AEtkUXFCSQBdHwBXZABrZAgAd0yAX2CKUISAegAqOFQIAmFSCA80hEsmhrgqrgbBjwBGHwBRKChoKIALYRlhOX4FtMsys2EEQLL4ImFUYCg0t1I0gC9gM197NwKT9JhLMDmhWDw4BkTFHLIuQYiH2EEOx1O50uNzMADo6AAWcbjAAcrFUvA0KHQcAmOgMRhAJnMlmsdgczlqoQwBmcMCgBWAHAx6kQ2PgHgATPjDMZTBYrLZ7E46FSwpE4DF4klUhksrgAaR8nAiqUKtUxQlNDjXJ4dPTGew4M1Wu1Ot1ev1BsNOEA

### 💻 Code

```ts
export const fooSymbol = Symbol('foo');
export type FooSymbol = typeof fooSymbol;

export const f = <T extends object>(flag: boolean) => (v: T & { [K in FooSymbol]: unknown }) => { /* some logics */ };
// g1: Error: The type of this node cannot be serialized because its property '[fooSymbol]' cannot be serialized.(4118)
export const g1 = <T extends object>() => f<T>(true);
export const g2 = <T extends object>() => (v: T & { [K in FooSymbol]: unknown }) => { const flag = true; /* some logics */ };
```


### 🙁 Actual behavior

The function `g1` seems correctly typed, exported, but error is shown as `The type of this node cannot be serialized because its property '[fooSymbol]' cannot be serialized.(4118)` by the compiler.
`g1` is potentially rewritten in the form of `g2`, just directly rewrite the given arguments as local constant (or just embed values in all contexts).

### 🙂 Expected behavior

`g1` is acceptable as well as `g2`.

### Additional information about the issue

Generics usage is essential to reproduce this case. I'm not sure if the code example could be minimized. 
It's the real case minimization of what I really needed in my projects.