move logic into HasOffset*

Author: staabm

Diff for: src/Type/Accessory/HasOffsetType.php

@@ -111,6 +111,9 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
 
 	public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsResult
 	{
+		if ($acceptingType instanceof NonEmptyArrayType) {
+			return AcceptsResult::createYes();
+		}
 		return $this->isSubTypeOf($acceptingType)->toAcceptsResult();
 	}
 

Diff for: src/Type/Accessory/HasOffsetValueType.php

@@ -122,6 +122,10 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
 
 	public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsResult
 	{
+		if ($acceptingType instanceof NonEmptyArrayType) {
+			return AcceptsResult::createYes();
+		}
+
 		return $this->isSubTypeOf($acceptingType)->toAcceptsResult();
 	}
 

Diff for: src/Type/Accessory/NonEmptyArrayType.php

@@ -76,12 +76,6 @@ public function getConstantStrings(): array
 
 	public function accepts(Type $type, bool $strictTypes): AcceptsResult
 	{
-		if ($type instanceof HasOffsetType
-			|| $type instanceof HasOffsetValueType
-		) {
-			return AcceptsResult::createYes();
-		}
-
 		if ($type instanceof CompoundType) {
 			return $type->isAcceptedBy($this, $strictTypes);
 		}