25 lines
528 B
Rust
25 lines
528 B
Rust
|
#![feature(adt_const_params)]
|
||
|
|
#![allow(incomplete_features)]
|
||
|
|
|
||
|
|
use std::marker::ConstParamTy;
|
||
|
|
|
||
|
|
struct Tagged<T: Tag, O: Options>;
|
||
|
|
//~^ ERROR expected trait, found enum `Tag`
|
||
|
|
//~| HELP you might have meant to write a const parameter here
|
||
|
|
//~| ERROR expected trait, found struct `Options`
|
||
|
|
//~| HELP you might have meant to write a const parameter here
|
||
|
|
|
||
|
|
#[derive(PartialEq, Eq, ConstParamTy)]
|
||
|
|
enum Tag {
|
||
|
|
One,
|
||
|
|
Two,
|
||
|
|
}
|
||
|
|
|
||
|
|
#[derive(PartialEq, Eq, ConstParamTy)]
|
||
|
|
struct Options {
|
||
|
|
verbose: bool,
|
||
|
|
safe: bool,
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|