ErasedLambda

This commit is contained in:
Ayaz Hafiz 2023-07-17 10:13:11 -05:00
parent 7d3e7ffdfb
commit 18f381e782
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 6 additions and 0 deletions

View file

@ -79,6 +79,10 @@ export type Content =
unspecialized: UnspecializedClosureType[];
[k: string]: unknown;
}
| {
type: "ErasedLambda";
[k: string]: unknown;
}
| {
kind: AliasKind;
name: Symbol;