AssertMethodTypeSpecifyingExtension is narrowing types on TestCase but it should really operate on PHPUnit\Framework\Assert where the actual methods are implemented.
The current codebase means that you can have a working assertSomething method in your test case that breaks when you factorize it in a dedicated class (class SomethingAsserter extends Assert)