blob: 02fe5b0e19bf29e641ce29f07efee72dc06c2843 [file] [log] [blame]
//@ check-pass
#![feature(lint_reasons)]
pub struct Wrapper<T>(T);
pub trait Foo {
fn bar() -> Wrapper<impl Sized>;
}
impl Foo for () {
#[expect(refining_impl_trait)]
fn bar() -> Wrapper<i32> {
Wrapper(0)
}
}
fn main() {}