blob: 47198d5115058da1e72061981d96d353730539fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
//@ compile-flags: -Zverbose-internals
#![feature(precise_capturing_in_traits, 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>::{synthetic#0}<'s/#1>
x.hello()
}
fn main() {}
|
