I'm not sure where the assignment is, but the 'static requirement is coming from the implicit lifetime in dyn MyTrait. This change fixes the problem:
-impl PartialEq for dyn MyTrait {
+impl PartialEq for dyn MyTrait + '_ {
Edit: At least, it does for references. The Box version is still broken:
error[E0507]: cannot move out of `*__arg1_0` which is behind a shared reference
--> src/main.rs:22:30
|
22 | *__self_0 == *__arg1_0,
| ^^^^^^^^^ move occurs because `*__arg1_0` has type `Box<dyn MyTrait>`, which does not implement the `Copy` trait
(and similarly for Arc)