// Regression test for #112201. This recursive call previously meant that
// we delay an error when checking opaques at the end of writeback but don't
// encounter that incorrect defining use during borrowck as it's in dead code.

pub fn wrap<T>(x: T) -> impl Sized {
    x
}

fn repeat_helper<T>(x: T) -> impl Sized {
    return x;
    repeat_helper(wrap(x))
    //~^ ERROR expected generic type parameter, found `impl Sized`
    //~| ERROR type parameter `T` is part of concrete type
}


fn main() {}