[TomasVotruba]

The rule drops assert($x instanceof Foo) when $x is already of type Foo. To get the asserted class type it read getType($instanceof->class), which runs the type resolver over a class name node whose name is already known.

A concrete class name is read straight off the node as new ObjectType($name); the equals()/isSuperTypeOf() comparison against the expression type is unchanged, so the decision is identical. self/static/parent depend on the enclosing class, so those fall back to getType().

Bench bench/remove_dead_instanceof_assert_name_type_bench.php over 9000 refactor() calls:

• before: 18.83 us/call
• after: 15.71 us/call (~1.2x)

Added skip_self_instanceof fixture to pin the self fallback path (unchanged, matches current behaviour).