diff --git a/stubs/Symfony/Bundle/FrameworkBundle/Controller/AbstractController.stub b/stubs/Symfony/Bundle/FrameworkBundle/Controller/AbstractController.stub
index 075dce6d..0507a9b4 100644
--- a/stubs/Symfony/Bundle/FrameworkBundle/Controller/AbstractController.stub
+++ b/stubs/Symfony/Bundle/FrameworkBundle/Controller/AbstractController.stub
@@ -9,14 +9,15 @@ use Symfony\Contracts\Service\ServiceSubscriberInterface;
 abstract class AbstractController implements ServiceSubscriberInterface
 {
 	/**
-	 * @template TFormType of FormTypeInterface<TData>
+	 * @template TFormType of FormTypeInterface<TData, TOptions>
 	 * @template TData
+	 * @template TOptions
 	 *
 	 * @param class-string<TFormType> $type
 	 * @param TData                   $data
-	 * @param array<string, mixed>    $options
+	 * @param TOptions                $options
 	 *
-	 * @phpstan-return ($data is null ? FormInterface<null|TData> : FormInterface<TData>)
+	 * @phpstan-return ($data is null ? FormInterface<null|TData, TOptions> : FormInterface<TData, TOptions>)
 	 */
 	protected function createForm(string $type, $data = null, array $options = []): FormInterface
 	{
diff --git a/stubs/Symfony/Component/Form/AbstractType.stub b/stubs/Symfony/Component/Form/AbstractType.stub
index e99b746c..cfd9ed71 100644
--- a/stubs/Symfony/Component/Form/AbstractType.stub
+++ b/stubs/Symfony/Component/Form/AbstractType.stub
@@ -4,27 +4,28 @@ namespace Symfony\Component\Form;
 
 /**
  * @template TData
+ * @template TOptions of array<string, mixed>
  *
- * @implements FormTypeInterface<TData>
+ * @implements FormTypeInterface<TData, TOptions>
  */
 abstract class AbstractType implements FormTypeInterface
 {
 
 	/**
 	 * @param FormBuilderInterface<TData|null> $builder
-	 * @param array<string, mixed> $options
+	 * @param TOptions                         $options
 	 */
 	public function buildForm(FormBuilderInterface $builder, array $options): void;
 
 	/**
 	 * @param FormInterface<TData> $form
-	 * @param array<string, mixed> $options
+	 * @param TOptions             $options
 	 */
 	public function buildView(FormView $view, FormInterface $form, array $options): void;
 
 	/**
 	 * @param FormInterface<TData> $form
-	 * @param array<string, mixed> $options
+	 * @param TOptions             $options
 	 */
 	public function finishView(FormView $view, FormInterface $form, array $options): void;
 
diff --git a/stubs/Symfony/Component/Form/FormFactoryInterface.stub b/stubs/Symfony/Component/Form/FormFactoryInterface.stub
index a2221ec0..21c43d8c 100644
--- a/stubs/Symfony/Component/Form/FormFactoryInterface.stub
+++ b/stubs/Symfony/Component/Form/FormFactoryInterface.stub
@@ -7,14 +7,15 @@ use Symfony\Component\Form\Extension\Core\Type\FormType;
 interface FormFactoryInterface
 {
 	/**
-	 * @template TFormType of FormTypeInterface<TData>
+	 * @template TFormType of FormTypeInterface<TData, TOptions>
 	 * @template TData
+	 * @template TOptions
 	 *
 	 * @param class-string<TFormType> $type
 	 * @param TData                   $data
-	 * @param array<string, mixed>    $options
+	 * @param TOptions    $options
 	 *
-	 * @phpstan-return ($data is null ? FormInterface<null|TData> : FormInterface<TData>)
+	 * @phpstan-return ($data is null ? FormInterface<null|TData, TOptions> : FormInterface<TData, TOptions>)
 	 *
 	 * @throws \Symfony\Component\OptionsResolver\Exception\InvalidOptionsException
 	 */
@@ -24,7 +25,7 @@ interface FormFactoryInterface
 	 * @template TFormType of FormTypeInterface<TData>
 	 * @template TData
 	 *
-	  * @param class-string<TFormType> $type
+	 * @param class-string<TFormType> $type
 	 * @param TData                   $data
 	 * @param array<string, mixed>    $options
 	 *
diff --git a/stubs/Symfony/Component/Form/FormTypeExtensionInterface.stub b/stubs/Symfony/Component/Form/FormTypeExtensionInterface.stub
index a03d5e1c..256b6c41 100644
--- a/stubs/Symfony/Component/Form/FormTypeExtensionInterface.stub
+++ b/stubs/Symfony/Component/Form/FormTypeExtensionInterface.stub
@@ -4,24 +4,25 @@ namespace Symfony\Component\Form;
 
 /**
  * @template TData
+ * @template TOptions of array<string, mixed>
  */
 interface FormTypeExtensionInterface
 {
     /**
      * @param FormBuilderInterface<TData|null> $builder
-     * @param array<string, mixed> $options
+     * @param TOptions $options
      */
     public function buildForm(FormBuilderInterface $builder, array $options): void;
 
     /**
-     * @phpstan-param FormInterface<TData> $form
-     * @param array<string, mixed> $options
+     * @param FormInterface<TData> $form
+     * @param TOptions $options
      */
     public function buildView(FormView $view, FormInterface $form, array $options): void;
 
     /**
-     * @phpstan-param FormInterface<TData> $form
-     * @param array<string, mixed> $options
+     * @param FormInterface<TData> $form
+     * @param TOptions $options
      */
     public function finishView(FormView $view, FormInterface $form, array $options): void;
 }
diff --git a/stubs/Symfony/Component/Form/FormTypeInterface.stub b/stubs/Symfony/Component/Form/FormTypeInterface.stub
index 8536656a..0ebc96e8 100644
--- a/stubs/Symfony/Component/Form/FormTypeInterface.stub
+++ b/stubs/Symfony/Component/Form/FormTypeInterface.stub
@@ -4,24 +4,25 @@ namespace Symfony\Component\Form;
 
 /**
  * @template TData
+ * @template TOptions of array<string, mixed>
  */
 interface FormTypeInterface
 {
     /**
      * @param FormBuilderInterface<TData|null> $builder
-     * @param array<string, mixed> $options
+     * @param TOptions $options
      */
     public function buildForm(FormBuilderInterface $builder, array $options): void;
 
     /**
      * @param FormInterface<TData> $form
-     * @param array<string, mixed> $options
+     * @param TOptions $options
      */
     public function buildView(FormView $view, FormInterface $form, array $options): void;
 
     /**
      * @param FormInterface<TData> $form
-     * @param array<string, mixed> $options
+     * @param TOptions $options
      */
     public function finishView(FormView $view, FormInterface $form, array $options): void;
 }
diff --git a/tests/Type/Symfony/CallMethodsRuleTest.php b/tests/Type/Symfony/CallMethodsRuleTest.php
new file mode 100644
index 00000000..70a4ef12
--- /dev/null
+++ b/tests/Type/Symfony/CallMethodsRuleTest.php
@@ -0,0 +1,33 @@
+<?php declare(strict_types = 1);
+
+namespace Type\Symfony;
+
+use PHPStan\Rules\Methods\CallMethodsRule;
+use PHPStan\Rules\Rule;
+use PHPStan\Testing\RuleTestCase;
+
+/**
+ * @extends RuleTestCase<CallMethodsRule>
+ */
+class CallMethodsRuleTest extends RuleTestCase
+{
+
+	protected function getRule(): Rule
+	{
+		return self::getContainer()->getByType(CallMethodsRule::class);
+	}
+
+	public function testExtension(): void
+	{
+		$this->analyse([__DIR__ . '/data/form_data_type.php'], []);
+	}
+
+	public static function getAdditionalConfigFiles(): array
+	{
+		return [
+			__DIR__ . '/../../../extension.neon',
+			__DIR__ . '/../../../vendor/phpstan/phpstan-strict-rules/rules.neon',
+		];
+	}
+
+}
diff --git a/tests/Type/Symfony/ExtensionTest.php b/tests/Type/Symfony/ExtensionTest.php
index a076caac..59bffa42 100644
--- a/tests/Type/Symfony/ExtensionTest.php
+++ b/tests/Type/Symfony/ExtensionTest.php
@@ -58,6 +58,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/FormInterface_getErrors.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/cache.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/form_data_type.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/form_options.php');
 
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/extension/with-configuration/WithConfigurationExtension.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/extension/without-configuration/WithoutConfigurationExtension.php');
diff --git a/tests/Type/Symfony/data/form_options.php b/tests/Type/Symfony/data/form_options.php
new file mode 100644
index 00000000..e6201659
--- /dev/null
+++ b/tests/Type/Symfony/data/form_options.php
@@ -0,0 +1,102 @@
+<?php declare(strict_types = 1);
+
+namespace GenericFormOptionsType;
+
+use Symfony\Bundle\FrameworkBundle\Controller\AbstractController;
+use Symfony\Component\Form\AbstractType;
+use Symfony\Component\Form\Extension\Core\Type\NumberType;
+use Symfony\Component\Form\Extension\Core\Type\TextType;
+use Symfony\Component\Form\FormBuilderInterface;
+use Symfony\Component\Form\FormFactoryInterface;
+use Symfony\Component\OptionsResolver\OptionsResolver;
+use function PHPStan\Testing\assertType;
+
+class DataClass
+{
+}
+
+/**
+ * @extends AbstractType<DataClass, array{required: string, optional: int}>
+ */
+class DataClassType extends AbstractType
+{
+
+	public function buildForm(FormBuilderInterface $builder, array $options): void
+	{
+		assertType('string', $options['required']);
+		assertType('int', $options['optional']);
+
+		$builder
+			->add('foo', NumberType::class)
+			->add('bar', TextType::class)
+		;
+	}
+
+	public function configureOptions(OptionsResolver $resolver): void
+	{
+		$resolver
+			->setDefaults([
+				'data_class' => DataClass::class,
+				'optional' => 0,
+			])
+			->setRequired('required')
+			->setAllowedTypes('required', 'string')
+			->setAllowedTypes('optional', 'int')
+		;
+	}
+
+}
+
+class FormFactoryAwareClass
+{
+
+	/** @var FormFactoryInterface */
+	private $formFactory;
+
+	public function __construct(FormFactoryInterface $formFactory)
+	{
+		$this->formFactory = $formFactory;
+	}
+
+	public function doSomething(): void
+	{
+		$form = $this->formFactory->create(DataClassType::class, new DataClass());
+		assertType('Symfony\Component\Form\FormInterface<GenericFormOptionsType\DataClass, array{required: string, optional: int}>', $form);
+	}
+
+	public function doSomethingWithOption(): void
+	{
+		$form = $this->formFactory->create(DataClassType::class, new DataClass(), ['required' => 'foo']);
+		assertType('Symfony\Component\Form\FormInterface<GenericFormOptionsType\DataClass, array{required: string, optional: int}>', $form);
+	}
+
+	public function doSomethingWithInvalidOption(): void
+	{
+		$form = $this->formFactory->create(DataClassType::class, new DataClass(), ['required' => 42]);
+		assertType('Symfony\Component\Form\FormInterface<GenericFormOptionsType\DataClass, array{required: string, optional: int}>', $form);
+	}
+
+}
+
+class FormController extends AbstractController
+{
+
+	public function doSomething(): void
+	{
+		$form = $this->createForm(DataClassType::class, new DataClass());
+		assertType('Symfony\Component\Form\FormInterface<GenericFormOptionsType\DataClass, array{required: string, optional: int}>', $form);
+	}
+
+	public function doSomethingWithOption(): void
+	{
+		$form = $this->createForm(DataClassType::class, new DataClass(), ['required' => 'foo']);
+		assertType('Symfony\Component\Form\FormInterface<GenericFormOptionsType\DataClass, array{required: string, optional: int}>', $form);
+	}
+
+	public function doSomethingWithInvalidOption(): void
+	{
+		$form = $this->createForm(DataClassType::class, new DataClass(), ['required' => 42]);
+		assertType('Symfony\Component\Form\FormInterface<GenericFormOptionsType\DataClass, array{required: string, optional: int}>', $form);
+	}
+
+}