Strict type warnings when using Gmp.
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=3126
Reported by Martin Nilsson, IDA nilsson@pike.ida.liu.se
The following code
#pragma strict_types
int main() {
object x = Gmp;
}
produces the following output
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(object | float | int : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(object | float | int : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(object | float | int : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(object | float | int : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(object | float | int : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(object | float | int : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(int | float | object : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(int | float | object : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(int | float | object : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(int | float | object : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(int | float | object : int)
-:1: Warning: Function type mismatch
-:1: Warning: Expected: function(mixed : int)
-:1: Warning: Got : function(int | float | object : int)