[E037] Error: property `Foo::$s` cannot have type `never`
   ,-[code.php:5:16]
   |
 3 | class Foo {
   *       ^^^  
   *             
   * 
 5 |         public never $s,
   *                ^^|^^ ^^  
   *                  |        
   *                  |       
   *                  `------- try using a different type
   * 
   * Note: `void`, `never`, and `callable` types are not allowed in properties
---'