On Wed, Jan 5, 2022 at 12:36 AM Kirill Nesmeyanov <n...@xakep.ru> wrote:
> Since «traits» are often an indicator of not very good code and many may not 
> use them quite correctly, for example, as helpers, I suggest adding support 
> for the `expects` keyword to indicate that the trait is part of the code 
> decomposition taking into account ISP.

Prior art: @psalm-require-extends and @psalm-require-implements Psalm
annotations: 
https://psalm.dev/docs/annotating_code/supported_annotations/#psalm-require-extends

-- 
  Best regards,
      Bruce Weirdan                                     mailto:weir...@gmail.com

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php

Reply via email to