Search videos
View all results →
← Browse conferences
The first six years in the development of Polonius, an improved borrow checker
EuroRust
When the current borrow checker, non-lexical lifetimes (NLL), was developed, one of the patterns the Rust developers wanted to add support for had to be abandoned: Case 3, in which a reference is conditionally returned early from a function. This case is particularly tricky to support as it requires a high-resolution analysis of the conditional flow references beyond the means of the current borrow checker. Therefore, current Rust does not support this code pattern (and others like it), even tho
Player unavailable or embedding blocked? Use the YouTube link above.