summaryrefslogtreecommitdiffstats
path: root/tests/ui/higher-rank-trait-bounds/hrtb-trait-object-paren-notation.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/higher-rank-trait-bounds/hrtb-trait-object-paren-notation.rs')
-rw-r--r--tests/ui/higher-rank-trait-bounds/hrtb-trait-object-paren-notation.rs26
1 files changed, 0 insertions, 26 deletions
diff --git a/tests/ui/higher-rank-trait-bounds/hrtb-trait-object-paren-notation.rs b/tests/ui/higher-rank-trait-bounds/hrtb-trait-object-paren-notation.rs
deleted file mode 100644
index d8c726cdd..000000000
--- a/tests/ui/higher-rank-trait-bounds/hrtb-trait-object-paren-notation.rs
+++ /dev/null
@@ -1,26 +0,0 @@
-// run-pass
-// A basic test of using a higher-ranked trait bound.
-
-trait FnLike<A,R> {
- fn call(&self, arg: A) -> R;
-}
-
-type FnObject<'b> = dyn for<'a> FnLike<(&'a i32,), &'a i32> + 'b;
-
-struct Identity;
-
-impl<'a, T> FnLike<(&'a T,), &'a T> for Identity {
- fn call(&self, (arg,): (&'a T,)) -> &'a T {
- arg
- }
-}
-
-fn call_repeatedly(f: &FnObject) {
- let x = 3;
- let y = f.call((&x,));
- assert_eq!(3, *y);
-}
-
-fn main() {
- call_repeatedly(&Identity);
-}