Files
Aviva Ruben c06b6c00a0 Allow pack expansion to bind to no escape
After changing isNoEscape to look for no escape function in
PackExpansionType, benign closures passed to functions with pack
parameters would be errored as not able to convert, since they might
escape. This seems to be because the expansion variable was not able
to bind to noescape by default.

I also added a test in pack_expansion covering this behavior, which
may not be necessary. Before allowing expansion variables to bind to no
escape, calling that function would fail to type check.

I believe not setting this flag was not an issue in the past since it
was not checked by isNoEscape?
2026-02-09 19:17:52 -08:00
..