error: this trait definition has no such supertrait
 --> src/bin/attr_dynamized_no_such_supertrait.rs:2:13
  |
2 | #[dynamized(Foo)]
  |             ^^^