public function signature_matching()
 {
     $type = new FunctionType([Type::$VAR], Type::$VAR);
     $this->assertTrue($type->isAssignableFrom(new FunctionType([Primitive::$STRING], Type::$VAR)));
 }