// check-pass fn _test() -> impl Default { } fn main() {}