#![feature(extern_types)]

extern {
    // @has foreigntype/foreigntype.ExtType.html
    pub type ExtType;
}

impl ExtType {
    // @has - '//a[@class="fnname"]' 'do_something'
    pub fn do_something(&self) {}
}

pub trait Trait {}

// @has foreigntype/trait.Trait.html '//a[@class="foreigntype"]' 'ExtType'
impl Trait for ExtType {}

// @has foreigntype/index.html '//a[@class="foreigntype"]' 'ExtType'