Closed 2over12 closed 2 years ago
Ah ok one plausible issue is we have overlapping types that get refined by binding parameters and we treat those parameters in isolation then we will lose information from other refinements. Bumping this to med/bug since im observing this in a test
In dca941048016d4ef7f802a50fe21f7c757095567 I removed intersecting/unioning callsite types with the original representation. This decision was made because the sketch union of out parameters would result in a loss of information.
Ie. a type like:
Would discard the structure because the identity function has no language intersection with the original type. We should more carefully examine the implications of this decision.