Our paper “Thrust: A Prophecy-Based Refinement Type System for Rust” has bee accepted and will appear at PLDI’25.