update 33140 test

Author: lcnr

src/test/ui/traits/object/issue-33140-traitobject-crate-non-static.rs

@@ -0,0 +1,11 @@
+#![allow(order_dependent_trait_objects)]
+trait Trait {}
+
+impl Trait for dyn Send + Sync {}
+impl Trait for dyn Sync + Send {}
+fn assert_trait<T: Trait + ?Sized>() {}
+
+fn main() {
+    assert_trait::<dyn Send + Sync>();
+    //~^ ERROR type annotations needed: cannot satisfy `dyn Send + Sync: Trait`
+}

src/test/ui/traits/object/issue-33140-traitobject-crate-non-static.stderr

@@ -0,0 +1,22 @@
+error[E0283]: type annotations needed: cannot satisfy `dyn Send + Sync: Trait`
+  --> $DIR/issue-33140-traitobject-crate-non-static.rs:9:5
+   |
+LL |     assert_trait::<dyn Send + Sync>();
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+note: multiple `impl`s satisfying `dyn Send + Sync: Trait` found
+  --> $DIR/issue-33140-traitobject-crate-non-static.rs:4:1
+   |
+LL | impl Trait for dyn Send + Sync {}
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+LL | impl Trait for dyn Sync + Send {}
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+note: required by a bound in `assert_trait`
+  --> $DIR/issue-33140-traitobject-crate-non-static.rs:6:20
+   |
+LL | fn assert_trait<T: Trait + ?Sized>() {}
+   |                    ^^^^^ required by this bound in `assert_trait`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0283`.

src/test/ui/traits/object/issue-33140-traitobject-crate.rs

@@ -102,7 +102,7 @@ unsafe impl Trait for dyn (::std::string::ToString) + Send + Sync { }
 fn assert_trait<T: Trait + ?Sized>() {}
 
 fn main() {
-    assert_trait::<dyn Send>();
-    assert_trait::<dyn Sync>();
-    assert_trait::<dyn Send + Sync>();
+    assert_trait::<dyn Send + 'static>();
+    assert_trait::<dyn Sync + 'static>();
+    assert_trait::<dyn Send + Sync + 'static>();
 }