Merge "Update source for Rust 1.80.1" into main