Comment by nindalf

rustc --version && rustc main.rs && ls -alh main

rustc 1.85.0 (4d91de4e4 2025-02-17) -rwxr-xr-x 1 user user 436K 21 Feb 17:17 main

What's your output for `rustup default`?

Also, what's your output when you follow min-sized-rust?