Minimum dyn trait subtyping (single inheritance)