Editing: TypeSafeDiagnosingMatcher.php