src/test/ui/impl-trait/recursive-impl-trait-type-direct.rs

// Test that an `impl Trait` type that expands to itself is an error.

#![allow(unconditional_recursion)]

fn test() -> impl Sized {
    //~^ ERROR E0720
    test()
}

fn main() {}