#![crate_type="lib"]

pub trait Trait {
    // the issue is sensitive to interning order - so use names
    // unlikely to appear in libstd.
    type Issue25467FooT;
    type Issue25467BarT;
}

pub type Object = Option<Box<Trait<Issue25467FooT=(),Issue25467BarT=()>>>;