Sign in
fuchsia
/
third_party
/
rust
/
9d09331e00b02f81c714b0c41ce3a38380dd36a2
/
.
/
src
/
test
/
ui
/
type-inference
/
unbounded-associated-type.rs
blob: 0167e943612d06cb9be04ccb0431f1e026353e68 [
file
] [
log
] [
blame
]
trait
T
{
type
A
;
fn
foo
(&
self
)
->
Self
::
A
{
panic
!()
}
}
struct
S
<
X
>(
std
::
marker
::
PhantomData
<
X
>);
impl
<
X
>
T
for
S
<
X
>
{
type
A
=
X
;
}
fn
main
()
{
S
(
std
::
marker
::
PhantomData
).
foo
();
//~ ERROR type annotations needed
}