add missing annotation

Baptouuuu · Baptouuuu · commit eb0893cd5e22 · 2025-04-06T14:27:55.000+02:00
diff --git a/src/AndConstraint.php b/src/AndConstraint.php
@@ -32,6 +32,7 @@ private function __construct(Constraint $a, Constraint $b)
         $this->b = $b;
     }
 
+    #[\Override]
     public function __invoke(mixed $input): Validation
     {
         /** @psalm-suppress MixedArgument */
@@ -63,6 +64,7 @@ public static function of(Constraint $a, Constraint $b): self
      *
      * @return self<A, C, T>
      */
+    #[\Override]
     public function and(Constraint $constraint): self
     {
         return new self($this, $constraint);
@@ -75,6 +77,7 @@ public function and(Constraint $constraint): self
      *
      * @return Constraint<A, C|T>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -87,6 +90,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return Constraint<A, T>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return Map::of($this, $map);
@@ -95,6 +99,7 @@ public function map(callable $map): Constraint
     /**
      * @return PredicateInterface<C>
      */
+    #[\Override]
     public function asPredicate(): PredicateInterface
     {
         return Predicate::of($this);
diff --git a/src/AssociativeArray.php b/src/AssociativeArray.php
@@ -26,6 +26,7 @@ private function __construct(
     ) {
     }
 
+    #[\Override]
     public function __invoke(mixed $value): Validation
     {
         return Is::array()($value)->flatMap($this->validate(...));
@@ -53,6 +54,7 @@ public static function of(Constraint $key, Constraint $value): self
      *
      * @return Constraint<mixed, T>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -65,6 +67,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return Constraint<mixed, Map<K, V>|T>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -77,6 +80,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return Constraint<mixed, T>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return namespace\Map::of($this, $map);
@@ -85,6 +89,7 @@ public function map(callable $map): Constraint
     /**
      * @return Predicate<Map<K, V>>
      */
+    #[\Override]
     public function asPredicate(): Predicate
     {
         return namespace\Predicate::of($this);
diff --git a/src/Each.php b/src/Each.php
@@ -26,6 +26,7 @@ private function __construct(Constraint $constraint)
         $this->constraint = $constraint;
     }
 
+    #[\Override]
     public function __invoke(mixed $value): Validation
     {
         /** @var Validation<Failure, list<T>> */
@@ -63,6 +64,7 @@ public static function of(Constraint $constraint): self
      *
      * @return Constraint<list, V>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -75,6 +77,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return Constraint<list, list<T>|V>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -87,6 +90,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return Constraint<list, V>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return Map::of($this, $map);
@@ -95,6 +99,7 @@ public function map(callable $map): Constraint
     /**
      * @return PredicateInterface<list<T>>
      */
+    #[\Override]
     public function asPredicate(): PredicateInterface
     {
         return Predicate::of($this);
diff --git a/src/Has.php b/src/Has.php
@@ -29,6 +29,7 @@ private function __construct(string $key, callable $message)
         $this->message = $message;
     }
 
+    #[\Override]
     public function __invoke(mixed $value): Validation
     {
         /** @psalm-suppress ImpureFunctionCall */
@@ -70,6 +71,7 @@ public function withFailure(callable $message): self
      *
      * @return Constraint<array, T>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -82,6 +84,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return Constraint<array, mixed|T>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -94,6 +97,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return Constraint<array, T>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return Map::of($this, $map);
@@ -102,6 +106,7 @@ public function map(callable $map): Constraint
     /**
      * @return PredicateInterface<mixed>
      */
+    #[\Override]
     public function asPredicate(): PredicateInterface
     {
         return Predicate::of($this);
diff --git a/src/Instance.php b/src/Instance.php
@@ -30,6 +30,7 @@ private function __construct(Predicate\Instance $assert, string $class)
         $this->class = $class;
     }
 
+    #[\Override]
     public function __invoke(mixed $value): Validation
     {
         /** @var Validation<Failure, T> */
@@ -59,6 +60,7 @@ public static function of(string $class): self
      *
      * @return Constraint<mixed, V>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -71,6 +73,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return Constraint<mixed, T|V>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -83,6 +86,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return Constraint<mixed, V>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return Map::of($this, $map);
@@ -91,6 +95,7 @@ public function map(callable $map): Constraint
     /**
      * @return Predicate<T>
      */
+    #[\Override]
     public function asPredicate(): Predicate
     {
         return $this->assert;
diff --git a/src/Is.php b/src/Is.php
@@ -39,6 +39,7 @@ private function __construct(
         $this->message = $message;
     }
 
+    #[\Override]
     public function __invoke(mixed $value): Validation
     {
         /** @var Validation<Failure, U> */
@@ -221,6 +222,7 @@ public function withFailure(string $message): self
      *
      * @return Constraint<T, V>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -233,6 +235,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return Constraint<T, U|V>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -245,6 +248,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return Constraint<T, V>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return Map::of($this, $map);
@@ -253,6 +257,7 @@ public function map(callable $map): Constraint
     /**
      * @return PredicateInterface<U>
      */
+    #[\Override]
     public function asPredicate(): PredicateInterface
     {
         return Predicate::of($this);
diff --git a/src/Map.php b/src/Map.php
@@ -32,6 +32,7 @@ private function __construct(Constraint $constraint, callable $map)
         $this->map = $map;
     }
 
+    #[\Override]
     public function __invoke(mixed $value): Validation
     {
         /** @psalm-suppress ImpureFunctionCall */
@@ -61,6 +62,7 @@ public static function of(Constraint $constraint, callable $map): self
      *
      * @return Constraint<I, V>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -73,6 +75,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return Constraint<I, T|V>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -85,6 +88,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return self<I, T, V>
      */
+    #[\Override]
     public function map(callable $map): self
     {
         return new self($this, $map);
@@ -93,6 +97,7 @@ public function map(callable $map): self
     /**
      * @return PredicateInterface<T>
      */
+    #[\Override]
     public function asPredicate(): PredicateInterface
     {
         return Predicate::of($this);
diff --git a/src/Of.php b/src/Of.php
@@ -27,6 +27,7 @@ private function __construct(callable $assert)
         $this->assert = $assert;
     }
 
+    #[\Override]
     public function __invoke(mixed $value): Validation
     {
         return ($this->assert)($value);
@@ -53,6 +54,7 @@ public static function callable(callable $assert): self
      *
      * @return Constraint<A, T>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -65,6 +67,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return Constraint<A, B|T>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -77,6 +80,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return Constraint<A, T>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return Map::of($this, $map);
@@ -85,6 +89,7 @@ public function map(callable $map): Constraint
     /**
      * @return PredicateInterface<B>
      */
+    #[\Override]
     public function asPredicate(): PredicateInterface
     {
         return Predicate::of($this);
diff --git a/src/OrConstraint.php b/src/OrConstraint.php
@@ -32,6 +32,7 @@ private function __construct(Constraint $a, Constraint $b)
         $this->b = $b;
     }
 
+    #[\Override]
     public function __invoke(mixed $input): Validation
     {
         /** @psalm-suppress MixedArgument */
@@ -63,6 +64,7 @@ public static function of(Constraint $a, Constraint $b): self
      *
      * @return Constraint<A, T>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -75,6 +77,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return self<A, B|C, T>
      */
+    #[\Override]
     public function or(Constraint $constraint): self
     {
         return new self($this, $constraint);
@@ -87,6 +90,7 @@ public function or(Constraint $constraint): self
      *
      * @return Constraint<A, T>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return Map::of($this, $map);
@@ -95,6 +99,7 @@ public function map(callable $map): Constraint
     /**
      * @return PredicateInterface<B|C>
      */
+    #[\Override]
     public function asPredicate(): PredicateInterface
     {
         return Predicate::of($this);
diff --git a/src/PointInTime.php b/src/PointInTime.php
@@ -37,6 +37,7 @@ private function __construct(
         $this->message = $message;
     }
 
+    #[\Override]
     public function __invoke(mixed $value): Validation
     {
         if ($value === '') {
@@ -76,6 +77,7 @@ public function withFailure(string $message): self
      *
      * @return Constraint<string, T>
      */
+    #[\Override]
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);
@@ -88,6 +90,7 @@ public function and(Constraint $constraint): Constraint
      *
      * @return Constraint<string, PointInTimeInterface|T>
      */
+    #[\Override]
     public function or(Constraint $constraint): Constraint
     {
         return OrConstraint::of($this, $constraint);
@@ -100,6 +103,7 @@ public function or(Constraint $constraint): Constraint
      *
      * @return Constraint<string, T>
      */
+    #[\Override]
     public function map(callable $map): Constraint
     {
         return Map::of($this, $map);
@@ -108,6 +112,7 @@ public function map(callable $map): Constraint
     /**
      * @return PredicateInterface<PointInTimeInterface>
      */
+    #[\Override]
     public function asPredicate(): PredicateInterface
     {
         return Predicate::of($this);
diff --git a/src/Predicate.php b/src/Predicate.php
diff --git a/src/Shape.php b/src/Shape.php

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,7 @@ private function __construct(Constraint $a, Constraint $b)`
`32`	`32`	`$this->b = $b;`
`33`	`33`	`}`
`34`	`34`
	`35`	`+ #[\Override]`
`35`	`36`	`public function __invoke(mixed $input): Validation`
`36`	`37`	`{`
`37`	`38`	`/** @psalm-suppress MixedArgument */`
`@@ -63,6 +64,7 @@ public static function of(Constraint $a, Constraint $b): self`
`63`	`64`	`*`
`64`	`65`	`* @return self<A, C, T>`
`65`	`66`	`*/`
	`67`	`+ #[\Override]`
`66`	`68`	`public function and(Constraint $constraint): self`
`67`	`69`	`{`
`68`	`70`	`return new self($this, $constraint);`
`@@ -75,6 +77,7 @@ public function and(Constraint $constraint): self`
`75`	`77`	`*`
`76`	`78`	`* @return Constraint<A, C\|T>`
`77`	`79`	`*/`
	`80`	`+ #[\Override]`
`78`	`81`	`public function or(Constraint $constraint): Constraint`
`79`	`82`	`{`
`80`	`83`	`return OrConstraint::of($this, $constraint);`
`@@ -87,6 +90,7 @@ public function or(Constraint $constraint): Constraint`
`87`	`90`	`*`
`88`	`91`	`* @return Constraint<A, T>`
`89`	`92`	`*/`
	`93`	`+ #[\Override]`
`90`	`94`	`public function map(callable $map): Constraint`
`91`	`95`	`{`
`92`	`96`	`return Map::of($this, $map);`
`@@ -95,6 +99,7 @@ public function map(callable $map): Constraint`
`95`	`99`	`/**`
`96`	`100`	`* @return PredicateInterface<C>`
`97`	`101`	`*/`
	`102`	`+ #[\Override]`
`98`	`103`	`public function asPredicate(): PredicateInterface`
`99`	`104`	`{`
`100`	`105`	`return Predicate::of($this);`
Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,7 @@ private function __construct(`
`26`	`26`	`) {`
`27`	`27`	`}`
`28`	`28`
	`29`	`+ #[\Override]`
`29`	`30`	`public function __invoke(mixed $value): Validation`
`30`	`31`	`{`
`31`	`32`	`return Is::array()($value)->flatMap($this->validate(...));`
`@@ -53,6 +54,7 @@ public static function of(Constraint $key, Constraint $value): self`
`53`	`54`	`*`
`54`	`55`	`* @return Constraint<mixed, T>`
`55`	`56`	`*/`
	`57`	`+ #[\Override]`
`56`	`58`	`public function and(Constraint $constraint): Constraint`
`57`	`59`	`{`
`58`	`60`	`return AndConstraint::of($this, $constraint);`
`@@ -65,6 +67,7 @@ public function and(Constraint $constraint): Constraint`
`65`	`67`	`*`
`66`	`68`	`* @return Constraint<mixed, Map<K, V>\|T>`
`67`	`69`	`*/`
	`70`	`+ #[\Override]`
`68`	`71`	`public function or(Constraint $constraint): Constraint`
`69`	`72`	`{`
`70`	`73`	`return OrConstraint::of($this, $constraint);`
`@@ -77,6 +80,7 @@ public function or(Constraint $constraint): Constraint`
`77`	`80`	`*`
`78`	`81`	`* @return Constraint<mixed, T>`
`79`	`82`	`*/`
	`83`	`+ #[\Override]`
`80`	`84`	`public function map(callable $map): Constraint`
`81`	`85`	`{`
`82`	`86`	`return namespace\Map::of($this, $map);`
`@@ -85,6 +89,7 @@ public function map(callable $map): Constraint`
`85`	`89`	`/**`
`86`	`90`	`* @return Predicate<Map<K, V>>`
`87`	`91`	`*/`
	`92`	`+ #[\Override]`
`88`	`93`	`public function asPredicate(): Predicate`
`89`	`94`	`{`
`90`	`95`	`return namespace\Predicate::of($this);`
Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,7 @@ private function __construct(string $key, callable $message)`
`29`	`29`	`$this->message = $message;`
`30`	`30`	`}`
`31`	`31`
	`32`	`+ #[\Override]`
`32`	`33`	`public function __invoke(mixed $value): Validation`
`33`	`34`	`{`
`34`	`35`	`/** @psalm-suppress ImpureFunctionCall */`
`@@ -70,6 +71,7 @@ public function withFailure(callable $message): self`
`70`	`71`	`*`
`71`	`72`	`* @return Constraint<array, T>`
`72`	`73`	`*/`
	`74`	`+ #[\Override]`
`73`	`75`	`public function and(Constraint $constraint): Constraint`
`74`	`76`	`{`
`75`	`77`	`return AndConstraint::of($this, $constraint);`
`@@ -82,6 +84,7 @@ public function and(Constraint $constraint): Constraint`
`82`	`84`	`*`
`83`	`85`	`* @return Constraint<array, mixed\|T>`
`84`	`86`	`*/`
	`87`	`+ #[\Override]`
`85`	`88`	`public function or(Constraint $constraint): Constraint`
`86`	`89`	`{`
`87`	`90`	`return OrConstraint::of($this, $constraint);`
`@@ -94,6 +97,7 @@ public function or(Constraint $constraint): Constraint`
`94`	`97`	`*`
`95`	`98`	`* @return Constraint<array, T>`
`96`	`99`	`*/`
	`100`	`+ #[\Override]`
`97`	`101`	`public function map(callable $map): Constraint`
`98`	`102`	`{`
`99`	`103`	`return Map::of($this, $map);`
`@@ -102,6 +106,7 @@ public function map(callable $map): Constraint`
`102`	`106`	`/**`
`103`	`107`	`* @return PredicateInterface<mixed>`
`104`	`108`	`*/`
	`109`	`+ #[\Override]`
`105`	`110`	`public function asPredicate(): PredicateInterface`
`106`	`111`	`{`
`107`	`112`	`return Predicate::of($this);`
Original file line number	Diff line number	Diff line change
`@@ -30,6 +30,7 @@ private function __construct(Predicate\Instance $assert, string $class)`
`30`	`30`	`$this->class = $class;`
`31`	`31`	`}`
`32`	`32`
	`33`	`+ #[\Override]`
`33`	`34`	`public function __invoke(mixed $value): Validation`
`34`	`35`	`{`
`35`	`36`	`/** @var Validation<Failure, T> */`
`@@ -59,6 +60,7 @@ public static function of(string $class): self`
`59`	`60`	`*`
`60`	`61`	`* @return Constraint<mixed, V>`
`61`	`62`	`*/`
	`63`	`+ #[\Override]`
`62`	`64`	`public function and(Constraint $constraint): Constraint`
`63`	`65`	`{`
`64`	`66`	`return AndConstraint::of($this, $constraint);`
`@@ -71,6 +73,7 @@ public function and(Constraint $constraint): Constraint`
`71`	`73`	`*`
`72`	`74`	`* @return Constraint<mixed, T\|V>`
`73`	`75`	`*/`
	`76`	`+ #[\Override]`
`74`	`77`	`public function or(Constraint $constraint): Constraint`
`75`	`78`	`{`
`76`	`79`	`return OrConstraint::of($this, $constraint);`
`@@ -83,6 +86,7 @@ public function or(Constraint $constraint): Constraint`
`83`	`86`	`*`
`84`	`87`	`* @return Constraint<mixed, V>`
`85`	`88`	`*/`
	`89`	`+ #[\Override]`
`86`	`90`	`public function map(callable $map): Constraint`
`87`	`91`	`{`
`88`	`92`	`return Map::of($this, $map);`
`@@ -91,6 +95,7 @@ public function map(callable $map): Constraint`
`91`	`95`	`/**`
`92`	`96`	`* @return Predicate<T>`
`93`	`97`	`*/`
	`98`	`+ #[\Override]`
`94`	`99`	`public function asPredicate(): Predicate`
`95`	`100`	`{`
`96`	`101`	`return $this->assert;`
Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,7 @@ private function __construct(`
`39`	`39`	`$this->message = $message;`
`40`	`40`	`}`
`41`	`41`
	`42`	`+ #[\Override]`
`42`	`43`	`public function __invoke(mixed $value): Validation`
`43`	`44`	`{`
`44`	`45`	`/** @var Validation<Failure, U> */`
`@@ -221,6 +222,7 @@ public function withFailure(string $message): self`
`221`	`222`	`*`
`222`	`223`	`* @return Constraint<T, V>`
`223`	`224`	`*/`
	`225`	`+ #[\Override]`
`224`	`226`	`public function and(Constraint $constraint): Constraint`
`225`	`227`	`{`
`226`	`228`	`return AndConstraint::of($this, $constraint);`
`@@ -233,6 +235,7 @@ public function and(Constraint $constraint): Constraint`
`233`	`235`	`*`
`234`	`236`	`* @return Constraint<T, U\|V>`
`235`	`237`	`*/`
	`238`	`+ #[\Override]`
`236`	`239`	`public function or(Constraint $constraint): Constraint`
`237`	`240`	`{`
`238`	`241`	`return OrConstraint::of($this, $constraint);`
`@@ -245,6 +248,7 @@ public function or(Constraint $constraint): Constraint`
`245`	`248`	`*`
`246`	`249`	`* @return Constraint<T, V>`
`247`	`250`	`*/`
	`251`	`+ #[\Override]`
`248`	`252`	`public function map(callable $map): Constraint`
`249`	`253`	`{`
`250`	`254`	`return Map::of($this, $map);`
`@@ -253,6 +257,7 @@ public function map(callable $map): Constraint`
`253`	`257`	`/**`
`254`	`258`	`* @return PredicateInterface<U>`
`255`	`259`	`*/`
	`260`	`+ #[\Override]`
`256`	`261`	`public function asPredicate(): PredicateInterface`
`257`	`262`	`{`
`258`	`263`	`return Predicate::of($this);`
Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,7 @@ private function __construct(callable $assert)`
`27`	`27`	`$this->assert = $assert;`
`28`	`28`	`}`
`29`	`29`
	`30`	`+ #[\Override]`
`30`	`31`	`public function __invoke(mixed $value): Validation`
`31`	`32`	`{`
`32`	`33`	`return ($this->assert)($value);`
`@@ -53,6 +54,7 @@ public static function callable(callable $assert): self`
`53`	`54`	`*`
`54`	`55`	`* @return Constraint<A, T>`
`55`	`56`	`*/`
	`57`	`+ #[\Override]`
`56`	`58`	`public function and(Constraint $constraint): Constraint`
`57`	`59`	`{`
`58`	`60`	`return AndConstraint::of($this, $constraint);`
`@@ -65,6 +67,7 @@ public function and(Constraint $constraint): Constraint`
`65`	`67`	`*`
`66`	`68`	`* @return Constraint<A, B\|T>`
`67`	`69`	`*/`
	`70`	`+ #[\Override]`
`68`	`71`	`public function or(Constraint $constraint): Constraint`
`69`	`72`	`{`
`70`	`73`	`return OrConstraint::of($this, $constraint);`
`@@ -77,6 +80,7 @@ public function or(Constraint $constraint): Constraint`
`77`	`80`	`*`
`78`	`81`	`* @return Constraint<A, T>`
`79`	`82`	`*/`
	`83`	`+ #[\Override]`
`80`	`84`	`public function map(callable $map): Constraint`
`81`	`85`	`{`
`82`	`86`	`return Map::of($this, $map);`
`@@ -85,6 +89,7 @@ public function map(callable $map): Constraint`
`85`	`89`	`/**`
`86`	`90`	`* @return PredicateInterface<B>`
`87`	`91`	`*/`
	`92`	`+ #[\Override]`
`88`	`93`	`public function asPredicate(): PredicateInterface`
`89`	`94`	`{`
`90`	`95`	`return Predicate::of($this);`
Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,7 @@ private function __construct(`
`37`	`37`	`$this->message = $message;`
`38`	`38`	`}`
`39`	`39`
	`40`	`+ #[\Override]`
`40`	`41`	`public function __invoke(mixed $value): Validation`
`41`	`42`	`{`
`42`	`43`	`if ($value === '') {`
`@@ -76,6 +77,7 @@ public function withFailure(string $message): self`
`76`	`77`	`*`
`77`	`78`	`* @return Constraint<string, T>`
`78`	`79`	`*/`
	`80`	`+ #[\Override]`
`79`	`81`	`public function and(Constraint $constraint): Constraint`
`80`	`82`	`{`
`81`	`83`	`return AndConstraint::of($this, $constraint);`
`@@ -88,6 +90,7 @@ public function and(Constraint $constraint): Constraint`
`88`	`90`	`*`
`89`	`91`	`* @return Constraint<string, PointInTimeInterface\|T>`
`90`	`92`	`*/`
	`93`	`+ #[\Override]`
`91`	`94`	`public function or(Constraint $constraint): Constraint`
`92`	`95`	`{`
`93`	`96`	`return OrConstraint::of($this, $constraint);`
`@@ -100,6 +103,7 @@ public function or(Constraint $constraint): Constraint`
`100`	`103`	`*`
`101`	`104`	`* @return Constraint<string, T>`
`102`	`105`	`*/`
	`106`	`+ #[\Override]`
`103`	`107`	`public function map(callable $map): Constraint`
`104`	`108`	`{`
`105`	`109`	`return Map::of($this, $map);`
`@@ -108,6 +112,7 @@ public function map(callable $map): Constraint`
`108`	`112`	`/**`
`109`	`113`	`* @return PredicateInterface<PointInTimeInterface>`
`110`	`114`	`*/`
	`115`	`+ #[\Override]`
`111`	`116`	`public function asPredicate(): PredicateInterface`
`112`	`117`	`{`
`113`	`118`	`return Predicate::of($this);`