dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
rust/tests/crashes/140683.rs

6 lines
82 B
Rust
Raw Permalink Blame History

//@ known-bug: #140683
impl T {
#[core::contracts::ensures]
fn b() { (loop) }
}
Reference in New Issue View Git Blame Copy Permalink