blob: c1bbf078f368b1a16951730148fe15127df249ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tree e68563e40b6367340244ed74126dbc019a889db2
parent 80fe3b12460a0d86881e90eecebb94eaf921b0f2
parent f3c35d51050a1d89da252734ff5fc8b9ba0b9937
author bors <bors@rust-lang.org> 1648389722 +0000
committer bors <bors@rust-lang.org> 1648389722 +0000
Auto merge of #2040 - RalfJung:pnvi, r=RalfJung
ensure that -Zmiri-check-number-validity detects integers with provenance
This actually currently *fails* for the non-array case; I will have to fix this on the rustc side.
|
