summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-11205.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/issues/issue-11205.rs
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/issues/issue-11205.rs')
-rw-r--r--src/test/ui/issues/issue-11205.rs85
1 files changed, 85 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-11205.rs b/src/test/ui/issues/issue-11205.rs
new file mode 100644
index 000000000..ce0951eaf
--- /dev/null
+++ b/src/test/ui/issues/issue-11205.rs
@@ -0,0 +1,85 @@
+// run-pass
+// pretty-expanded FIXME #23616
+
+#![allow(dead_code)]
+
+trait Foo { fn dummy(&self) { } }
+impl Foo for isize {}
+fn foo(_: [&dyn Foo; 2]) {}
+fn foos(_: &[&dyn Foo]) {}
+fn foog<T>(_: &[T], _: &[T]) {}
+
+fn bar(_: [Box<dyn Foo>; 2]) {}
+fn bars(_: &[Box<dyn Foo+'static>]) {}
+
+fn main() {
+ let x: [&dyn Foo; 2] = [&1, &2];
+ foo(x);
+ foo([&1, &2]);
+
+ let r = &1;
+ let x: [&dyn Foo; 2] = [r; 2];
+ foo(x);
+ foo([&1; 2]);
+
+ let x: &[&dyn Foo] = &[&1, &2];
+ foos(x);
+ foos(&[&1, &2]);
+
+ let x: &[&dyn Foo] = &[&1, &2];
+ let r = &1;
+ foog(x, &[r]);
+
+ let x: [Box<dyn Foo>; 2] = [Box::new(1), Box::new(2)];
+ bar(x);
+ bar([Box::new(1), Box::new(2)]);
+
+ let x: &[Box<dyn Foo+'static>] = &[Box::new(1), Box::new(2)];
+ bars(x);
+ bars(&[Box::new(1), Box::new(2)]);
+
+ let x: &[Box<dyn Foo+'static>] = &[Box::new(1), Box::new(2)];
+ foog(x, &[Box::new(1)]);
+
+ struct T<'a> {
+ t: [&'a (dyn Foo+'a); 2]
+ }
+ let _n = T {
+ t: [&1, &2]
+ };
+ let r = &1;
+ let _n = T {
+ t: [r; 2]
+ };
+ let x: [&dyn Foo; 2] = [&1, &2];
+ let _n = T {
+ t: x
+ };
+
+ struct F<'b> {
+ t: &'b [&'b (dyn Foo+'b)]
+ }
+ let _n = F {
+ t: &[&1, &2]
+ };
+ let r = &1;
+ let r: [&dyn Foo; 2] = [r; 2];
+ let _n = F {
+ t: &r
+ };
+ let x: [&dyn Foo; 2] = [&1, &2];
+ let _n = F {
+ t: &x
+ };
+
+ struct M<'a> {
+ t: &'a [Box<dyn Foo+'static>]
+ }
+ let _n = M {
+ t: &[Box::new(1), Box::new(2)]
+ };
+ let x: [Box<dyn Foo>; 2] = [Box::new(1), Box::new(2)];
+ let _n = M {
+ t: &x
+ };
+}