Commit c82e555

authored

Add non regression test for issue #9386

1 parent 40f22c1 commit c82e555Copy full SHA for c82e555

File tree

+34

-0

lines changed

+34

-0

lines changed

Lines changed: 5 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -205,6 +205,11 @@ public function testBug13001(): void`
`205`	`205`	`]);`
`206`	`206`	`}`
`207`	`207`
	`208`	`+ public function testBug9386(): void`
	`209`	`+ {`
	`210`	`+ $this->analyse([__DIR__ . '/data/bug-9386.php'], []);`
	`211`	`+ }`
	`212`	`+`
`208`	`213`	`public function testBug7280Comment(): void`
`209`	`214`	`{`
`210`	`215`	`$this->analyse([__DIR__ . '/data/bug-7280-comment.php'], []);`

Lines changed: 29 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,29 @@`
	`1`	`+<?php // lint >= 8.0`
	`2`	`+`
	`3`	`+declare(strict_types = 1);`
	`4`	`+`
	`5`	`+namespace Bug9386;`
	`6`	`+`
	`7`	`+trait BaseTrait {`
	`8`	`+ protected false\|int $_pos;`
	`9`	`+`
	`10`	`+ public function myMethod():bool {`
	`11`	`+ $pos = $this->_pos;`
	`12`	`+ if ($pos === false)`
	`13`	`+ return false;`
	`14`	`+ if (($this instanceof BaseClass) && $this->length !== null)`
	`15`	`+ return $pos >= $this->offset + $this->length;`
	`16`	`+ return false;`
	`17`	`+ }`
	`18`	`+}`
	`19`	`+`
	`20`	`+class BaseClass`
	`21`	`+{`
	`22`	`+ use BaseTrait;`
	`23`	`+ protected ?int $length = null;`
	`24`	`+ protected int $offset = 0;`
	`25`	`+}`
	`26`	`+class SecondClass`
	`27`	`+{`
	`28`	`+ use BaseTrait;`
	`29`	`+}`

Comments

(0)