Skip to content

Keep the closure when a cast instantiates a capturing untyped arrow - #708

Merged
ASDAlexander77 merged 1 commit into
mainfrom
fix-capture-untyped-arrow-new
Oct 28, 2026
Merged

ASDAlexander77 merged 1 commit into
mainfrom
fix-capture-untyped-arrow-new

Keep the closure when a cast instantiates a capturing untyped arrow

83de43d
Select commit
Loading
Failed to load commit list.