#![allow(dead_code)]
extern crate penum;
// use penum::penum;
trait Trait {}
trait Random {}
// TODO: This doesn't work, please fix
// message: `"dyn Trait"` is not a valid identifier
// impl Random for dyn Trait {}
// #[penum((T) where dyn Trait: Random )]
// enum Foo<'a> {
// Bar(&'a dyn Trait),
// }
fn main() {}