From 4e8cc76a91d22d060e0278be8f441533227a05fa Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Mon, 16 Jul 2018 10:57:31 +0200 Subject: [PATCH] Add test for using existential types in associated types --- .../impl-trait/existential-associated-type.rs | 36 +++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 src/test/ui/impl-trait/existential-associated-type.rs diff --git a/src/test/ui/impl-trait/existential-associated-type.rs b/src/test/ui/impl-trait/existential-associated-type.rs new file mode 100644 index 00000000000..af393febfbc --- /dev/null +++ b/src/test/ui/impl-trait/existential-associated-type.rs @@ -0,0 +1,36 @@ +// Copyright 2018 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(existential_type)] +// compile-pass + +trait Bar {} +struct Dummy; +impl Bar for Dummy {} + +trait Foo { + type Assoc: Bar; + fn foo() -> Self::Assoc; + fn bar() -> Self::Assoc; +} + +existential type Helper: Bar; + +impl Foo for i32 { + type Assoc = Helper; + fn foo() -> Helper { + Dummy + } + fn bar() -> Helper { + Dummy + } +} + +fn main() {} -- 2.44.0