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() {}
|