Sign in
fuchsia
/
third_party
/
rust
/
51cc3cdcf060c1bf3e4d45947f7a6bc20f9960f7
/
.
/
src
/
test
/
ui
/
impl-trait
/
associated-existential-type-trivial.rs
blob: cc974ffea7bbc48a842b39fa3ed23e38a7b05722 [
file
] [
log
] [
blame
]
#![
feature
(
existential_type
)]
// compile-pass
trait
Bar
{}
struct
Dummy
;
impl
Bar
for
Dummy
{}
trait
Foo
{
type
Assoc
:
Bar
;
fn
foo
()
->
Self
::
Assoc
;
}
impl
Foo
for
i32
{
existential
type
Assoc
:
Bar
;
fn
foo
()
->
Self
::
Assoc
{
Dummy
}
}
fn
main
()
{}