Solve todo

VincentLanglet · VincentLanglet · commit d07a9a5a71a0 · 2025-04-20T21:01:41.000+02:00
diff --git a/src/Type/Accessory/HasPropertyType.php b/src/Type/Accessory/HasPropertyType.php
@@ -72,8 +72,10 @@ public function accepts(Type $type, bool $strictTypes): AcceptsResult
 
 	public function isSuperTypeOf(Type $type): IsSuperTypeOfResult
 	{
-		// TODO
-		return new IsSuperTypeOfResult($type->hasProperty($this->propertyName), []);
+		return new IsSuperTypeOfResult(
+			$type->hasInstanceProperty($this->propertyName)->or($type->hasStaticProperty($this->propertyName)),
+			[],
+		);
 	}
 
 	public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
@@ -88,8 +90,10 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
 			$limit = IsSuperTypeOfResult::createMaybe();
 		}
 
-		// TODO
-		return $limit->and(new IsSuperTypeOfResult($otherType->hasProperty($this->propertyName), []));
+		return $limit->and(new IsSuperTypeOfResult(
+			$otherType->hasInstanceProperty($this->propertyName)->or($otherType->hasStaticProperty($this->propertyName)),
+			[],
+		));
 	}
 
 	public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsResult

Original file line number	Diff line number	Diff line change
`@@ -72,8 +72,10 @@ public function accepts(Type $type, bool $strictTypes): AcceptsResult`
`72`	`72`
`73`	`73`	`public function isSuperTypeOf(Type $type): IsSuperTypeOfResult`
`74`	`74`	`{`
`75`		`- // TODO`
`76`		`- return new IsSuperTypeOfResult($type->hasProperty($this->propertyName), []);`
	`75`	`+ return new IsSuperTypeOfResult(`
	`76`	`+ $type->hasInstanceProperty($this->propertyName)->or($type->hasStaticProperty($this->propertyName)),`
	`77`	`+ [],`
	`78`	`+ );`
`77`	`79`	`}`
`78`	`80`
`79`	`81`	`public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult`
`@@ -88,8 +90,10 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult`
`88`	`90`	`$limit = IsSuperTypeOfResult::createMaybe();`
`89`	`91`	`}`
`90`	`92`
`91`		`- // TODO`
`92`		`- return $limit->and(new IsSuperTypeOfResult($otherType->hasProperty($this->propertyName), []));`
	`93`	`+ return $limit->and(new IsSuperTypeOfResult(`
	`94`	`+ $otherType->hasInstanceProperty($this->propertyName)->or($otherType->hasStaticProperty($this->propertyName)),`
	`95`	`+ [],`
	`96`	`+ ));`
`93`	`97`	`}`
`94`	`98`
`95`	`99`	`public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsResult`