Announcing Google Summer of Code 2025 selected projects

// This program demonstrates that the announcement does not introduce any new
// Rust language feature or library.  It simply prints the list of selected
// projects as provided in the announcement.

fn main() {
    let projects = [
        "ABI/Layout handling for the automatic differentiation feature",
        "Add safety contracts",
        "Bootstrap of rustc with rustc_codegen_gcc",
        "Cargo: Build script delegation",
        "Distributed and resource-efficient verification",
        "Enable Witness Generation in cargo-semver-checks",
        "Extend behavioural testing of std::arch intrinsics",
        "Implement merge functionality in bors",
        "Improve bootstrap",
        "Improve Wild linker test suites",
        "Improving the Rustc Parallel Frontend: Parallel Macro Expansion",
        "Make cargo-semver-checks faster",
        "Make Rustup Concurrent",
        "Mapping the Maze of Rust's UI Test Suite with Established Continuous Integration Practices",
        "Modernising the libc Crate",
        "New proc-macro Server API for Rust-Analyzer",
        "Prepare stable_mir crate for publishing",
        "Prototype an alternative architecture for cargo fix using cargo check",
        "Prototype Cargo Plumbing Commands",
    ];

    println!("Selected GSoC 2025 projects:");
    for (i, project) in projects.iter().enumerate() {
        println!("{:>2}. {}", i + 1, project);
    }
}