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