sub field_promotion (Soldier $x is rw)
 {
    $x = Private.new;  # Private "isa" Soldier, allowed.
 }

my General $y .= new;
field_promotion ($y);  # General "isa" Soldier, allowed.
$y.order_attack();