summaryrefslogtreecommitdiffstats
path: root/tests/ui/chalkify/builtin-copy-clone.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/chalkify/builtin-copy-clone.rs')
-rw-r--r--tests/ui/chalkify/builtin-copy-clone.rs45
1 files changed, 0 insertions, 45 deletions
diff --git a/tests/ui/chalkify/builtin-copy-clone.rs b/tests/ui/chalkify/builtin-copy-clone.rs
deleted file mode 100644
index a478c006e..000000000
--- a/tests/ui/chalkify/builtin-copy-clone.rs
+++ /dev/null
@@ -1,45 +0,0 @@
-// run-pass
-// compile-flags: -Z trait-solver=chalk
-
-// Test that `Clone` is correctly implemented for builtin types.
-
-#[derive(Copy, Clone)]
-struct S(#[allow(unused_tuple_struct_fields)] i32);
-
-fn test_clone<T: Clone>(arg: T) {
- let _ = arg.clone();
-}
-
-fn test_copy<T: Copy>(arg: T) {
- let _ = arg;
- let _ = arg;
-}
-
-fn test_copy_clone<T: Copy + Clone>(arg: T) {
- test_copy(arg);
- test_clone(arg);
-}
-
-fn foo() { }
-
-fn main() {
- // FIXME: add closures when they're considered WF
- test_copy_clone(foo);
- let f: fn() = foo;
- test_copy_clone(f);
- // FIXME(#86252): reinstate array test after chalk upgrade
- //test_copy_clone([1; 56]);
- test_copy_clone((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1));
- test_copy_clone((1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, true, 'a', 1.1));
- test_copy_clone(());
- test_copy_clone(((1, 1), (1, 1, 1), (1.1, 1, 1, 'a'), ()));
-
- let a = (
- (S(1), S(0)),
- (
- (S(0), S(0), S(1)),
- S(0)
- )
- );
- test_copy_clone(a);
-}