John McCall 5c2cd18a5b Teach SILGen to try to peephole a function conversion into the emission of ...

a closure expression, then don't actually do it.  The long term plan is
to actually do this, which should just be a matter of taking some of the
code out of reabstraction thunk emission and using it in prolog/epilog/return
emission.  In the short term, the goal is just to get the conversion
information down to the closure emitter so that we can see that we're
erasing into an `@isolated(any)` type and then actually erase the
closure's isolation properly instead of relying on type-based erasure,
which can't handle parameter/capture isolation correctly.

2024-02-23 02:59:39 -05:00

6.2 KiB

Raw Permalink Blame History

View Raw