Fix nightly build after change to rust-lang/rust#3

EliasHolzmann merged 1 commit intomasterEliasHolzmann/include_optional:masterfrom

fix_nightly_build_2025-12-12EliasHolzmann/include_optional:fix_nightly_build_2025-12-12Copy head branch name to clipboard