checker: error if smaller signed == unsigned (#14078)

This commit is contained in:
Nick Treleaven 2022-04-25 10:09:25 +01:00 committed by GitHub
parent 147e6e669f
commit d8a5df9044
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
11 changed files with 116 additions and 21 deletions

View file

@ -931,7 +931,7 @@ fn test_u64_keys() {
m[i]++
assert m[i] == i + 1
}
assert m.len == end
assert u64(m.len) == end
keys := m.keys()
for i in u64(0) .. end {
assert keys[i] == i