Post #3131560

fun fact, this will be my third time working on rust project during my summer break. 2024: made many tokio tests able to run with miri 2025: started the effort of formalizing borrow check in a-mir-formality and shipped #[unstable_feature_bound] (marking impl of stable type and stable trait as unstable). 2026: ??? but there are a lot of stuff I want to do!