// compile-flags: -Cinstrument-coverage=except-unused-generics fn main() {}