gistfile1.php

<?hh
trait Foo {
abstract protected function foo() : int;
public function getVal(): int {
  return $this->foo();
}
}

class MyClass {
  use Foo;
  
  public function foo() : string {
    return "foo";
  } 
}

$foo = 1 + new MyClass().foo();