We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7170e97 commit d55e8b7Copy full SHA for d55e8b7
rust/ql/test/library-tests/type-inference/main.rs
@@ -1925,6 +1925,8 @@ mod loops {
1925
1926
for i in 0..10 { } // $ MISSING: type=i:i32
1927
for u in [0u8 .. 10] { } // $ MISSING: type=u:u8
1928
+ let range = 0..10; // $ MISSING: type=range:Range type=range:Idx.i32
1929
+ for i in range { } // $ MISSING: type=i:i32
1930
1931
let range1 = std::ops::Range { start: 0u16, end: 10u16 }; // $ type=range1:Range type=range1:Idx.u16
1932
for u in range1 { } // $ MISSING: type=u:u16
0 commit comments