tests/ui/contracts/contract-annotation-limitations.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! 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() {
}