#[dynamize::dynamize]
trait Trait {
    fn f(&self, x: impl SomeTrait);
}

fn main() {}