Sign in
fuchsia
/
third_party
/
github.com
/
rust-lang
/
rust
/
ddb81ce68047d6383a789c8da514e443faea8349
/
.
/
tests
/
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
}