September 14, 2025

David’s work on adding support for cyclic references to reachability types has been accepted to OOPSLA’25!