mirror of
https://github.com/rust-lang/rust.git
synced 2025-04-28 02:57:37 +00:00
19 lines
387 B
Rust
19 lines
387 B
Rust
|
// Ensure we don't ICE when lowering contracts on an associated item.
|
||
|
|
|
||
|
|
//@ compile-flags: --crate-type=lib
|
||
|
|
//@ check-pass
|
||
|
|
|
||
|
|
#![feature(contracts)]
|
||
|
|
//~^ WARN the feature `contracts` is incomplete and may not be safe to use
|
||
|
|
|
||
|
|
extern crate core;
|
||
|
|
|
||
|
|
use core::contracts::requires;
|
||
|
|
|
||
|
|
struct Foo;
|
||
|
|
|
||
|
|
impl Foo {
|
||
|
|
#[requires(align > 0 && (align & (align - 1)) == 0)]
|
||
|
|
pub fn foo(align: i32) {}
|
||
|
|
}
|