11error: Unterminated format specifier: missing type after precision
2-   --> $DIR/debug_printf_type_checking.rs:11:23 
3-    |
4- 11  |         debug_printf!("%1");
5-    |                       ^^^^
2+     --> $DIR/debug_printf_type_checking.rs:
3+      |
4+      |         debug_printf!("%1");
5+      |                       ^^^^
66
77error: Unterminated format specifier: missing type after decimal point
8-   --> $DIR/debug_printf_type_checking.rs:12:23 
9-    |
10- 12  |         debug_printf!("%1.");
11-    |                       ^^^^^
8+     --> $DIR/debug_printf_type_checking.rs:
9+      |
10+      |         debug_printf!("%1.");
11+      |                       ^^^^^
1212
1313error: Unrecognised format specifier: '.'
14-   --> $DIR/debug_printf_type_checking.rs:13:23 
15-    |
16- 13  |         debug_printf!("%.");
17-    |                       ^^^^
14+     --> $DIR/debug_printf_type_checking.rs:
15+      |
16+      |         debug_printf!("%.");
17+      |                       ^^^^
1818
1919error: Unrecognised format specifier: '.'
20-   --> $DIR/debug_printf_type_checking.rs:14:23 
21-    |
22- 14  |         debug_printf!("%.1");
23-    |                       ^^^^^
20+     --> $DIR/debug_printf_type_checking.rs:
21+      |
22+      |         debug_printf!("%.1");
23+      |                       ^^^^^
2424
2525error: Unterminated format specifier: missing type after fraction precision
26-   --> $DIR/debug_printf_type_checking.rs:15:23 
27-    |
28- 15  |         debug_printf!("%1.1");
29-    |                       ^^^^^^
26+     --> $DIR/debug_printf_type_checking.rs:
27+      |
28+      |         debug_printf!("%1.1");
29+      |                       ^^^^^^
3030
3131error: Missing vector dimensions specifier
32-   --> $DIR/debug_printf_type_checking.rs:16:23 
33-    |
34- 16  |         debug_printf!("%1.1v");
35-    |                       ^^^^^^^
32+     --> $DIR/debug_printf_type_checking.rs:
33+      |
34+      |         debug_printf!("%1.1v");
35+      |                       ^^^^^^^
3636
3737error: Invalid width for vector: 5
38-   --> $DIR/debug_printf_type_checking.rs:17:23 
39-    |
40- 17  |         debug_printf!("%1.1v5");
41-    |                       ^^^^^^^^
38+     --> $DIR/debug_printf_type_checking.rs:
39+      |
40+      |         debug_printf!("%1.1v5");
41+      |                       ^^^^^^^^
4242
4343error: Missing vector type specifier
44-   --> $DIR/debug_printf_type_checking.rs:18:23 
45-    |
46- 18  |         debug_printf!("%1.1v2");
47-    |                       ^^^^^^^^
44+     --> $DIR/debug_printf_type_checking.rs:
45+      |
46+      |         debug_printf!("%1.1v2");
47+      |                       ^^^^^^^^
4848
4949error: Unrecognised vector type specifier: 'r'
50-   --> $DIR/debug_printf_type_checking.rs:19:23 
51-    |
52- 19  |         debug_printf!("%1.1v2r");
53-    |                       ^^^^^^^^^
50+     --> $DIR/debug_printf_type_checking.rs:
51+      |
52+      |         debug_printf!("%1.1v2r");
53+      |                       ^^^^^^^^^
5454
5555error: Unrecognised format specifier: 'r'
56-   --> $DIR/debug_printf_type_checking.rs:20:23 
57-    |
58- 20  |         debug_printf!("%r", 11_i32);
59-    |                       ^^^^
56+     --> $DIR/debug_printf_type_checking.rs:
57+      |
58+      |         debug_printf!("%r", 11_i32);
59+      |                       ^^^^
6060
6161error[E0308]: mismatched types
62-    --> $DIR/debug_printf_type_checking.rs:21:29 
62+    --> $DIR/debug_printf_type_checking.rs:
6363    |
64- 21   |         debug_printf!("%f", 11_u32);
64+      |         debug_printf!("%f", 11_u32);
6565    |         --------------------^^^^^^-
6666    |         |                   |
6767    |         |                   expected `f32`, found `u32`
6868    |         arguments to this function are incorrect
6969    |
7070help: the return type of this call is `u32` due to the type of the argument passed
71-    --> $DIR/debug_printf_type_checking.rs:21:9 
71+    --> $DIR/debug_printf_type_checking.rs:
7272    |
73- 21   |         debug_printf!("%f", 11_u32);
73+      |         debug_printf!("%f", 11_u32);
7474    |         ^^^^^^^^^^^^^^^^^^^^------^
7575    |                             |
7676    |                             this argument influences the return type of `debug_printf_assert_is_type`
7777note: function defined here
78-    --> $SPIRV_STD_SRC/lib.rs:134:8 
78+    --> $SPIRV_STD_SRC/lib.rs:
7979    |
80- 134  | pub fn debug_printf_assert_is_type<T>(ty: T) -> T {
80+      | pub fn debug_printf_assert_is_type<T>(ty: T) -> T {
8181    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
8282    = note: this error originates in the macro `debug_printf` (in Nightly builds, run with -Z macro-backtrace for more info)
8383help: change the type of the numeric literal from `u32` to `f32`
8484    |
85- 21   -         debug_printf!("%f", 11_u32);
86- 21   +         debug_printf!("%f", 11_f32);
85+      -         debug_printf!("%f", 11_u32);
86+      +         debug_printf!("%f", 11_f32);
8787    |
8888
8989error[E0308]: mismatched types
90-    --> $DIR/debug_printf_type_checking.rs:22:29 
90+    --> $DIR/debug_printf_type_checking.rs:
9191    |
92- 22   |         debug_printf!("%u", 11.0_f32);
92+      |         debug_printf!("%u", 11.0_f32);
9393    |         --------------------^^^^^^^^-
9494    |         |                   |
9595    |         |                   expected `u32`, found `f32`
9696    |         arguments to this function are incorrect
9797    |
9898help: the return type of this call is `f32` due to the type of the argument passed
99-    --> $DIR/debug_printf_type_checking.rs:22:9 
99+    --> $DIR/debug_printf_type_checking.rs:
100100    |
101- 22   |         debug_printf!("%u", 11.0_f32);
101+      |         debug_printf!("%u", 11.0_f32);
102102    |         ^^^^^^^^^^^^^^^^^^^^--------^
103103    |                             |
104104    |                             this argument influences the return type of `debug_printf_assert_is_type`
105105note: function defined here
106-    --> $SPIRV_STD_SRC/lib.rs:134:8 
106+    --> $SPIRV_STD_SRC/lib.rs:
107107    |
108- 134  | pub fn debug_printf_assert_is_type<T>(ty: T) -> T {
108+      | pub fn debug_printf_assert_is_type<T>(ty: T) -> T {
109109    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
110110    = note: this error originates in the macro `debug_printf` (in Nightly builds, run with -Z macro-backtrace for more info)
111111help: change the type of the numeric literal from `f32` to `u32`
112112    |
113- 22   -         debug_printf!("%u", 11.0_f32);
114- 22   +         debug_printf!("%u", 11u32);
113+      -         debug_printf!("%u", 11.0_f32);
114+      +         debug_printf!("%u", 11u32);
115115    |
116116
117117error[E0277]: the trait bound `{float}: Vector<f32, 2>` is not satisfied
118-    --> $DIR/debug_printf_type_checking.rs:23:9 
118+    --> $DIR/debug_printf_type_checking.rs:
119119    |
120- 23   |         debug_printf!("%v2f", 11.0);
120+      |         debug_printf!("%v2f", 11.0);
121121    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Vector<f32, 2>` is not implemented for `{float}`
122122    |
123123    = help: the following other types implement trait `Vector<T, N>`:
@@ -131,35 +131,35 @@ error[E0277]: the trait bound `{float}: Vector<f32, 2>` is not satisfied
131131              `IVec3` implements `Vector<i32, 3>`
132132            and 8 others
133133note: required by a bound in `debug_printf_assert_is_vector`
134-    --> $SPIRV_STD_SRC/lib.rs:141:8 
134+    --> $SPIRV_STD_SRC/lib.rs:
135135    |
136- 139  | pub fn debug_printf_assert_is_vector<
136+      | pub fn debug_printf_assert_is_vector<
137137    |        ----------------------------- required by a bound in this function
138- 140  |     TY: crate::scalar::Scalar,
139- 141  |     V: crate::vector::Vector<TY, SIZE>,
138+      |     TY: crate::scalar::Scalar,
139+      |     V: crate::vector::Vector<TY, SIZE>,
140140    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `debug_printf_assert_is_vector`
141141    = note: this error originates in the macro `debug_printf` (in Nightly builds, run with -Z macro-backtrace for more info)
142142
143143error[E0308]: mismatched types
144-    --> $DIR/debug_printf_type_checking.rs:24:29 
144+    --> $DIR/debug_printf_type_checking.rs:
145145    |
146- 24   |         debug_printf!("%f", Vec2::splat(33.3));
146+      |         debug_printf!("%f", Vec2::splat(33.3));
147147    |         --------------------^^^^^^^^^^^^^^^^^-
148148    |         |                   |
149149    |         |                   expected `f32`, found `Vec2`
150150    |         arguments to this function are incorrect
151151    |
152152help: the return type of this call is `Vec2` due to the type of the argument passed
153-    --> $DIR/debug_printf_type_checking.rs:24:9 
153+    --> $DIR/debug_printf_type_checking.rs:
154154    |
155- 24   |         debug_printf!("%f", Vec2::splat(33.3));
155+      |         debug_printf!("%f", Vec2::splat(33.3));
156156    |         ^^^^^^^^^^^^^^^^^^^^-----------------^
157157    |                             |
158158    |                             this argument influences the return type of `debug_printf_assert_is_type`
159159note: function defined here
160-    --> $SPIRV_STD_SRC/lib.rs:134:8 
160+    --> $SPIRV_STD_SRC/lib.rs:
161161    |
162- 134  | pub fn debug_printf_assert_is_type<T>(ty: T) -> T {
162+      | pub fn debug_printf_assert_is_type<T>(ty: T) -> T {
163163    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
164164    = note: this error originates in the macro `debug_printf` (in Nightly builds, run with -Z macro-backtrace for more info)
165165
0 commit comments