// This test purpose is to check that the "--generate-link-to-definition"
// option can only be used with HTML generation.

// compile-flags: -Zunstable-options --generate-link-to-definition --show-coverage

pub fn f() {}