•  
      request #30005 Psalm error when searching for unused code
    Infos
    #30005
    Joris MASSON (jmasson)
    2022-12-27 09:58
    2022-12-22 14:47
    31590
    Details
    Psalm error when searching for unused code

    When running with --find-unused-code option, psalm reports the following error:

    ERROR: MissingPropertyType - src/common/html/HTML_Element_Selectbox.class.php:30:15 - Property HTML_Element_Selectbox::$options does not have a declared type - consider list<HTML_Element_Option>|mixed (see https://psalm.dev/045)
    
        protected $options;
    

    We should fix it.

    Empty
    Empty
    Empty
    • [ ] enhancement
    • [ ] internal improvement
    Empty
    Stage
    Joris MASSON (jmasson)
    Closed
    2022-12-22
    Attachments
    Empty
    References

    Follow-ups