Use innmind/static-analysis

composer.json

@@ -27,7 +27,7 @@
         }
     },
     "require-dev": {
-        "vimeo/psalm": "~5.13",
+        "innmind/static-analysis": "^1.2.1",
         "innmind/coding-standard": "~2.0"
     }
 }

src/Button.php

@@ -56,6 +56,7 @@ public function selectedWhen(bool $selected): self
         );
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Card.php

@@ -25,6 +25,7 @@ public static function of(View $inner): self
         return new self(Center::of($inner));
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Center.php

@@ -25,6 +25,7 @@ public static function of(View $inner): self
         return new self($inner);
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Grid.php

@@ -32,6 +32,7 @@ public static function of(Sequence $cards): self
         return new self($cards);
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Image.php

@@ -31,6 +31,7 @@ public function shape(Shape $shape): View
         return $shape->wrap($this);
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(\sprintf(

src/Listing.php

@@ -32,6 +32,7 @@ public static function of(Sequence $elements): self
         return new self($elements);
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/NavigationLink.php

@@ -56,6 +56,7 @@ public function selectedWhen(bool $selected): self
         );
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Picker.php

@@ -51,6 +51,7 @@ public function disableWhen(bool $disable): self
         );
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Progress.php

@@ -26,6 +26,7 @@ public static function new(): self
         return new self;
     }
 
+    #[\Override]
     public function render(): Content
     {
         $svg = static fn(bool $black): string => \sprintf(

src/ScrollView.php

@@ -25,6 +25,7 @@ public static function of(View $inner): self
         return new self($inner);
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Shape/Kind.php

@@ -40,6 +40,7 @@ public static function circle(View $inner): self
         return new self($inner, 'circle');
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Stack.php

@@ -42,6 +42,7 @@ public static function vertical(View $first, View $second, View ...$rest): self
         return new self(false, Sequence::of($first, $second, ...$rest));
     }
 
+    #[\Override]
     public function render(): Content
     {
         $class = match ($this->horizontal) {

src/Svg.php

@@ -33,6 +33,7 @@ public function zoom(int $size): View
         return Zoom::of($this, $size);
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Text.php

@@ -38,6 +38,7 @@ public static function escape(string $string): string
         );
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Content::ofString(self::escape($this->text));

src/Toolbar.php

@@ -50,6 +50,7 @@ public function trailing(View $view): self
         );
     }
 
+    #[\Override]
     public function render(): Content
     {
         $lines = Lines::of(

src/View/Container.php

@@ -30,6 +30,7 @@ public static function of(View $view): self
         return new self($view);
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(

src/Window.php

@@ -42,6 +42,7 @@ public function stylesheet(Url $url): self
         );
     }
 
+    #[\Override]
     public function render(): Content
     {
         $lines = Lines::of(

src/Zoom.php

@@ -33,6 +33,7 @@ public static function of(View $inner, int $size): self
         return new self($inner, $size);
     }
 
+    #[\Override]
     public function render(): Content
     {
         return Lines::of(