add Type::isNever and Type::isExplicitNever methods

[canvural]

Re-opening #4545

I think the issue bot changes are valid and is the same case as I described here

[ondrejmirtes]

I disagree about it. There's nothing wrong about this signature:

	/**
	 * @template T of BackedEnum
	 * @param class-string<T> $class
	 * @param value-of<T> $value
	 */

I feel like UnresolvableTypeHelper should skip LateResolvableTypes.

[canvural]

I think that'd just hide the error. Currently value-of with generics and backed enums seems to be broken. And looks like #4548 might fix it 👀

Edit: I copied the snippet you referenced and the fix from #4548 and looks like that fixes it without the need of skipping LateResolvableTypes in UnresolvableTypeHelper

[ondrejmirtes]

I'm sorry about sleeping on this. There are now conflicts. Please fix rebase and fix them. At least meanwhile I merged #4548.

[canvural]

Amazing. Yeah, I was waiting for that PR to be merged first. Will do in the evening 👍🏽

[canvural]

@ondrejmirtes Rebased and refactored new usages to methods too.

There is one test failing locally. Here it doesn't report error anymore. @VincentLanglet maybe you have any insights?