Encapsed literal strings

[AndrolGenhald]

• Infer literal string from encapsed string.
• Allow casting literal float to literal string
• Improve concatenation of literals to allow literal floats, avoid long loop if there are too many combinations instead of checking after loop
• Improve AssertionFinder::hasNonEmptyCountEqualityCheck() and add tests for Infer non-empty assertion from count with variable #8163

[orklah]

you can pass $source from caller method and then do $source->getNodeTypeProvider() if you want

[AndrolGenhald]

I can't believe I missed that, I was looking for a StatementsAnalyzer... I'm about done for now, but I'll come fix that in the next day or so.

[orklah]

otherwise, the rest seems good :) Give me a sign when it's ready ;)

[AndrolGenhald]

Ok, well this is actually a bit complicated. I got it all working, but I got a couple RedundantConditions... I have to figure out a way to make the assertion not redundant if $foo and $bar are both non-empty and there's an assertion for count($foo) === count($bar).

Go ahead and merge this, I'll have to dig deeper later. I'll probably see if I can fix this on master along with #7096.

[orklah]

Thanks!