Value of late-static typehints

test.php

class AbstractValueObject {

  public static funtion sum(static ...$values) {
    $total = 0;
    
    foreach ($values as $value) {
      $total += $value->getIntegerRepresentation();
    }
    
    return new static($total);
  }
  
}

class OtherValueObject extends AbstractValueObject {
}

class ConcreteValueObject extends AbstractValueObject {
}

$values = [ new ConcreteValueObject(), new OtherValueObject(), new ConcreteValueObject() ];

// We want this to throw an error, because it's trying to sum one instance of OtherValueObject which isn't the same type as the
// static call.
$total = ConcreteValueObject::sum($values);