summaryrefslogtreecommitdiffstats
path: root/src/test/ui/unboxed-closures/unboxed-closures-sugar-object.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/unboxed-closures/unboxed-closures-sugar-object.rs')
-rw-r--r--src/test/ui/unboxed-closures/unboxed-closures-sugar-object.rs25
1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/unboxed-closures/unboxed-closures-sugar-object.rs b/src/test/ui/unboxed-closures/unboxed-closures-sugar-object.rs
new file mode 100644
index 000000000..1ca25517c
--- /dev/null
+++ b/src/test/ui/unboxed-closures/unboxed-closures-sugar-object.rs
@@ -0,0 +1,25 @@
+// run-pass
+// Test unboxed closure sugar used in object types.
+
+#![allow(dead_code)]
+
+struct Foo<T,U> {
+ t: T, u: U
+}
+
+trait Getter<A,R> {
+ fn get(&self, arg: A) -> R;
+}
+
+struct Identity;
+impl<X> Getter<X,X> for Identity {
+ fn get(&self, arg: X) -> X {
+ arg
+ }
+}
+
+fn main() {
+ let x: &dyn Getter<(i32,), (i32,)> = &Identity;
+ let (y,) = x.get((22,));
+ assert_eq!(y, 22);
+}