blob: 8c992743862f61499a8c5c7deddb0f37bb39eaa0 [file] [log] [blame]
// check-pass
#![feature(lint_reasons)]
#![allow(incomplete_features)]
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() {}