What is the font used for the code in the Programming Rust book?

I like the font used for writing the code in the Programming Rust: Fast, Safe Systems Development book by Jim Blandy et al.

Does anybody know what font this is? See image.

rust program to create mandelbrot set

The screenshot is from the kindle app; there I can't use devtools to check the font !!!