Daimona

Description (screenshot): -- I'm unsure if this would qualify as a bug report or a feature request. Anyway. In PHPUnit tests, I commonly see and use the following pattern: ```php...

"Parameter/variable is not used" false positive with assignop and bitwise AND

2

| Subject | Details | | :------------- | :---------------------------------------------------------------------------- | | Plugin | Php Inspections (EA Extended), 4.0.7.1 | | Language level | PHP 7.2 | Current behaviour -- For...

My Environment (version of the project, operating system, or hardware): Any environment will do. I'm using phpda 2.0.2 from composer. My `phpda.yml`: Any config file, e.g. the default. When I...

Wrong types inferred for nested array structure

3

On phan 5.1.0: ```php

Global variables are handled inconsistently when in the global scope vs when using `global` vs in closures with `use`

1

In the following code: ```php

PhanUnusedPublicMethodParameter for unused parameters in overridden methods

1

On phan 5.3.2, if you have `'dead_code_detection' => true`, unused parameters in overridden methods still raise a warnings. I'm not sure this is wanted, since you can't just omit them....

Seen on phan 5.3.2 with the following config: ``` [ 'directory_list' => [ 'src' ], 'plugins' => [ 'UnknownElementTypePlugin', ], ] ``` If a base class (or interface) declares a...

@return never doesn't affect type inference if a function is reanalyzed and AddNeverReturnTypePlugin is enabled

4

Running phan 5.2.0 on the following code: ```php

Allow plugins to omit parentheses in suggestion messages

2

When passing Suggestions to emitIssue, the suggestion is later surrounded by parentheses by all printers (and IssueInstance::getMessageAndMaybeSuggestion). This can be problematic if the suggestion message already has parentheses (especially if...

Global variables retain real type even if another function might modify them

2

Snippet: ```php function testGlobal() { global $g2; $g2 = 'foo'; doStuff(); '@phan-debug-var $g2'; } function doStuff() { global $g2; $g2 = true; } ``` > PhanDebugAnnotation @phan-debug-var requested for variable...