mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-31 13:04:42 +00:00
ddbf54b67d
This has now been approved as a language feature and no longer needs a `rustc_` prefix. Also change the `contracts` feature to be marked as incomplete and `contracts_internals` as internal.
29 lines
901 B
Rust
29 lines
901 B
Rust
//! Test for some of the existing limitations and the current error messages.
|
|
//! Some of these limitations may be removed in the future.
|
|
|
|
#![feature(contracts)]
|
|
//~^ WARN the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes [incomplete_features]
|
|
#![allow(dead_code)]
|
|
|
|
/// Represent a 5-star system.
|
|
struct Stars(u8);
|
|
|
|
impl Stars {
|
|
fn is_valid(&self) -> bool {
|
|
self.0 <= 5
|
|
}
|
|
}
|
|
|
|
trait ParseStars {
|
|
#[core::contracts::ensures(|ret| ret.is_none_or(Stars::is_valid))]
|
|
//~^ ERROR contract annotations is only supported in functions with bodies
|
|
fn parse_string(input: String) -> Option<Stars>;
|
|
|
|
#[core::contracts::ensures(|ret| ret.is_none_or(Stars::is_valid))]
|
|
//~^ ERROR contract annotations is only supported in functions with bodies
|
|
fn parse<T>(input: T) -> Option<Stars> where T: for<'a> Into<&'a str>;
|
|
}
|
|
|
|
fn main() {
|
|
}
|