/**
 * @template T
 */
class Something {...}


/**
 * @extends Something<Thing>
 */
class Foo extends Something {...}

class Bar extends Foo {

  public function do() {
    $this->doSomething($param);
  }

}

I am writing custom Rule and I need to pointer to some example how can I get generic templte type when analyzing method call in child. My rule matches method call doSomething in Bar, it resolves called on type of $this, and now to perform needed check (in my case I need to check that $param contains valid name of property present in Thing) I need to deduce from $this type that template T defined on Something is specified as type Thing. Thanks fo any hint.