summaryrefslogtreecommitdiff
path: root/tests/ui/type-alias-impl-trait/associated-type-impl-trait-lifetime.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/type-alias-impl-trait/associated-type-impl-trait-lifetime.rs')
-rw-r--r--tests/ui/type-alias-impl-trait/associated-type-impl-trait-lifetime.rs9
1 files changed, 5 insertions, 4 deletions
diff --git a/tests/ui/type-alias-impl-trait/associated-type-impl-trait-lifetime.rs b/tests/ui/type-alias-impl-trait/associated-type-impl-trait-lifetime.rs
index 551815d021a..58eaa9c2c42 100644
--- a/tests/ui/type-alias-impl-trait/associated-type-impl-trait-lifetime.rs
+++ b/tests/ui/type-alias-impl-trait/associated-type-impl-trait-lifetime.rs
@@ -5,15 +5,16 @@
trait Trait {
type Opaque1;
type Opaque2;
- fn constrain(self);
+ fn constrain(self) -> (Self::Opaque1, Self::Opaque2);
}
impl<'a> Trait for &'a () {
type Opaque1 = impl Sized;
type Opaque2 = impl Sized + 'a;
- fn constrain(self) {
- let _: Self::Opaque1 = ();
- let _: Self::Opaque2 = self;
+ fn constrain(self) -> (Self::Opaque1, Self::Opaque2) {
+ let a: Self::Opaque1 = ();
+ let b: Self::Opaque2 = self;
+ (a, b)
}
}