pub trait Trait {}

impl Trait for () {}