Improve optimizer inference for when it may throw

Co-authored-by: Ilija Tovilo <[email protected]>

Author: Girgias

Zend/Optimizer/zend_inference.c

@@ -4836,7 +4836,8 @@ ZEND_API bool zend_may_throw_ex(const zend_op *opline, const zend_ssa_op *ssa_op
 				return 0;
 			}
 		case ZEND_FETCH_IS:
-			return (t2 & (MAY_BE_ARRAY|MAY_BE_OBJECT|MAY_BE_STRING));
+			return (t2 & (MAY_BE_ARRAY|MAY_BE_OBJECT))
+				|| (t1 & MAY_BE_STRING && t2 & MAY_BE_STRING);
 		case ZEND_ISSET_ISEMPTY_DIM_OBJ:
 			return (t1 & MAY_BE_OBJECT) || (t2 & (MAY_BE_ARRAY|MAY_BE_OBJECT));
 		case ZEND_FETCH_DIM_IS: