about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait/rpitit-shadowed-by-missing-adt.rs
blob: 4e46b7114c1a20675167069b97db4b0fcc7d4b16 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// issue: 113903

use std::ops::Deref;

pub trait Tr {
    fn w() -> impl Deref<Target = Missing<impl Sized>>;
    //~^ ERROR cannot find type `Missing` in this scope
}

impl Tr for () {
    #[expect(refining_impl_trait)]
    fn w() -> &'static () {
        &()
    }
}

fn main() {}