1 error[E0308]: mismatched types
2 --> $DIR/integral-variable-unification-error.rs:5:9
5 | ----- expected due to the type of this binding
8 | - expected due to this value
10 | ^^^ expected integer, found floating-point number
12 error: aborting due to previous error
14 For more information about this error, try `rustc --explain E0308`.