// compile-flags: -Z unstable-options --check

// @!has check/fn.foo.html
// @!has check/index.html
pub fn foo() {}