1 error[E0308]: mismatched types
2 --> $DIR/formal-and-expected-differ.rs:22:29
4 LL | let _: U<_, u32> = U(1, S(3u32));
5 | - ^^^^^^^ expected `f32`, found `u32`
7 | arguments to this struct are incorrect
9 = note: expected struct `S<f32>`
11 note: tuple struct defined here
12 --> $DIR/formal-and-expected-differ.rs:9:12
14 LL | pub struct U<T1, T2>(T1, S<T2>)
17 error[E0308]: mismatched types
18 --> $DIR/formal-and-expected-differ.rs:22:24
20 LL | let _: U<_, u32> = U(1, S(3u32));
21 | --------- ^^^^^^^^^^^^^ expected `u32`, found `f32`
23 | expected due to this
25 = note: expected struct `U<_, u32>`
26 found struct `U<i32, f32>`
28 error: aborting due to 2 previous errors
30 For more information about this error, try `rustc --explain E0308`.