<?php declare(strict_types = 1);

/**
 * @phpstan-template T of \Exception
 */
abstract class A
{
  /**
   * @phpstan-return T
   */
  abstract public function factory();
	
  /**
   * @phpstan-return T
   */
  public function get() {
    return $this->factory();
  }
}

/**
 * @phpstan-template T of \Exception
 */
class B
{
	/** @var A<\Exception> $a */
	public $a;
	
  /**
   * @phpstan-return T
   */
  public function get() {
    return $a->get();
  }

}