fn main() {}

extern {
    /// hi
    //~^ ERROR found a documentation comment that doesn't document anything
}