Sign in
fuchsia
/
third_party
/
rust
/
244da22fabd9fa677bbd0ac601a88e5ca6917526
/
.
/
tests
/
ui
/
generic-associated-types
/
issue-68648-1.rs
blob: 9e0d46f87652663adb64ba64259219100fa2a965 [
file
] [
log
] [
blame
]
//@ check-pass
trait
Fun
{
type
F
<
'
a
>;
fn
identity
<
'a>(t: Self::F<'
a
>)
->
Self
::
F
<
'
a
>
{
t
}
}
impl
<
T
>
Fun
for
T
{
type
F
<
'
a
>
=
Self
;
}
fn
bug
<
'a, T: for<'
b
>
Fun
<
F
<
'b> = T>>(t: T) -> T::F<'
a
>
{
T
::
identity
(
t
)
}
fn
main
()
{
let
x
=
10
;
bug
(
x
);
}