mirror of
https://github.com/rust-lang/rust.git
synced 2025-04-27 18:56:24 +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) {}
|
|
}
|