summary refs log tree commit diff
path: root/src/tools/miri
blob: 12dac5c0f7acd106401aa14fec758f0ff552f678 (plain)
1
2
3
4
5
6
7
8
9
10
11
tree 458040f0164f5c8130f574f170c55a0fb278db21
parent 80d6b569547cfb14e6fd8671599da205f7860652
parent fc88c6ccca6849b1e7909f8d10a8968e12bcbb29
author bors <bors@rust-lang.org> 1616023259 +0000
committer bors <bors@rust-lang.org> 1616023259 +0000

Auto merge of #1746 - bstrie:depfix, r=RalfJung

Replace deprecated `collections::Bound` with `ops::Bound`

Cc https://github.com/rust-lang/rust/issues/83242 , which resulted from https://github.com/rust-lang/rust/pull/82122 .