trait Super {}
trait Sub: Super {}

fn take_dyn_super(supertrait : &dyn Super) {}
fn take_dyn_sub(sub : &dyn Sub) {
   take_dyn_super(sub as &dyn Super);
}

fn main () {}