1 error[E0308]: mismatched types
2 --> $DIR/integral-variable-unification-error.rs:3:9
5 | ^^^ expected integer, found floating-point number
7 = note: expected type `{integer}`
10 error: aborting due to previous error
12 For more information about this error, try `rustc --explain E0308`.