Subtracted mixed component type even for array access

Author: ondrejmirtes

src/Type/Nette/ComponentModelArrayAccessDynamicReturnTypeExtension.php

@@ -41,7 +41,7 @@ public function getTypeFromMethodCall(
 		$defaultType = ParametersAcceptorSelector::selectSingle($calledOnType->getMethod('createComponent', $scope)->getVariants())->getReturnType();
 		$defaultType = TypeCombinator::remove($defaultType, new NullType());
 		if ($defaultType->isSuperTypeOf(new ObjectType('Nette\ComponentModel\IComponent'))->yes()) {
-			$defaultType = new MixedType();
+			$defaultType = new MixedType(false, new NullType());
 		}
 		$args = $methodCall->getArgs();
 		if (count($args) !== 1) {

tests/Type/Nette/data/componentModelArrayAccess.php

@@ -35,12 +35,12 @@ public function createComponent(string $name): AnotherControl {
 
 $someControl = new SomeControl();
 assertType('PHPStan\Type\Nette\Data\ComponentModelArrayAccess\SomeControl', $someControl['some']);
-assertType('mixed', $someControl['unknown']);
+assertType('mixed~null', $someControl['unknown']);
 
 $anotherControl = new AnotherControl();
 assertType('PHPStan\Type\Nette\Data\ComponentModelArrayAccess\AnotherControl', $anotherControl['another']);
 assertType('PHPStan\Type\Nette\Data\ComponentModelArrayAccess\SomeControl', $anotherControl['some']);
-assertType('mixed', $anotherControl['unknown']);
+assertType('mixed~null', $anotherControl['unknown']);
 
 $overrideCreateControl = new OverrideCreateControl();
 assertType('PHPStan\Type\Nette\Data\ComponentModelArrayAccess\AnotherControl', $overrideCreateControl['some']);