about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait/dump.rs
blob: 0a951b4fd99ad45b82e85b3d88850f24f7ef356d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//@ compile-flags: -Zverbose-internals

#![feature(rustc_attrs)]
#![rustc_hidden_type_of_opaques]

trait Foo {
    fn hello(&self) -> impl Sized;
}

fn hello<'s, T: Foo>(x: &'s T) -> impl Sized + use<'s, T> {
    //~^ ERROR <T as Foo>::hello::{anon_assoc#0}<'s/#1>
    x.hello()
}

fn main() {}