5 lines
82 B
Rust
5 lines
82 B
Rust
//@ known-bug: #140683
|
|
impl T {
|
|
#[core::contracts::ensures]
|
|
fn b() { (loop) }
|
|
}
|