danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00
Code Issues Projects Releases Wiki Activity

Handle tentative return types for interfaces correctly

Browse Source
This commit is contained in:
Andreas Braun 2022-08-25 15:27:04 +02:00
parent 6a6922d29e
commit 5b8f611e73
No known key found for this signature in database
GPG Key ID: 101B1FBCCA55FAFC
2 changed files with 42 additions and 52 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

47
dictionaries/CallMap.php
View File

@ -7700,8 +7700,8 @@ return [
'MongoDB\BSON\Binary::serialize' => ['string'],
'MongoDB\BSON\Binary::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Binary::jsonSerialize' => ['mixed'],
'MongoDB\BSON\BinaryInterface::getData' => ['void'],
'MongoDB\BSON\BinaryInterface::getType' => ['void'],
'MongoDB\BSON\BinaryInterface::getData' => ['string'],
'MongoDB\BSON\BinaryInterface::getType' => ['int'],
'MongoDB\BSON\BinaryInterface::__toString' => ['string'],
'MongoDB\BSON\DBPointer::__toString' => ['string'],
'MongoDB\BSON\DBPointer::serialize' => ['string'],
@ -7712,7 +7712,7 @@ return [
'MongoDB\BSON\Decimal128::serialize' => ['string'],
'MongoDB\BSON\Decimal128::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Decimal128::jsonSerialize' => ['mixed'],
'MongoDB\BSON\Decimal128Interface::__toString' => ['void'],
'MongoDB\BSON\Decimal128Interface::__toString' => ['string'],
'MongoDB\BSON\Int64::__toString' => ['string'],
'MongoDB\BSON\Int64::serialize' => ['string'],
'MongoDB\BSON\Int64::unserialize' => ['void', 'serialized' => ''],
@ -7724,9 +7724,9 @@ return [
'MongoDB\BSON\Javascript::serialize' => ['string'],
'MongoDB\BSON\Javascript::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Javascript::jsonSerialize' => ['mixed'],
'MongoDB\BSON\JavascriptInterface::getCode' => ['void'],
'MongoDB\BSON\JavascriptInterface::getScope' => ['void'],
'MongoDB\BSON\JavascriptInterface::__toString' => ['void'],
'MongoDB\BSON\JavascriptInterface::getCode' => ['string'],
'MongoDB\BSON\JavascriptInterface::getScope' => ['?object'],
'MongoDB\BSON\JavascriptInterface::__toString' => ['string'],
'MongoDB\BSON\MaxKey::serialize' => ['string'],
'MongoDB\BSON\MaxKey::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\MaxKey::jsonSerialize' => ['mixed'],
@ -7739,8 +7739,8 @@ return [
'MongoDB\BSON\ObjectId::serialize' => ['string'],
'MongoDB\BSON\ObjectId::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\ObjectId::jsonSerialize' => ['mixed'],
'MongoDB\BSON\ObjectIdInterface::getTimestamp' => ['void'],
'MongoDB\BSON\ObjectIdInterface::__toString' => ['void'],
'MongoDB\BSON\ObjectIdInterface::getTimestamp' => ['int'],
'MongoDB\BSON\ObjectIdInterface::__toString' => ['string'],
'MongoDB\BSON\Regex::__construct' => ['void', 'pattern' => 'string', 'flags=' => 'string'],
'MongoDB\BSON\Regex::getPattern' => ['string'],
'MongoDB\BSON\Regex::getFlags' => ['string'],
@ -7748,10 +7748,10 @@ return [
'MongoDB\BSON\Regex::serialize' => ['string'],
'MongoDB\BSON\Regex::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Regex::jsonSerialize' => ['mixed'],
'MongoDB\BSON\RegexInterface::getPattern' => ['void'],
'MongoDB\BSON\RegexInterface::getFlags' => ['void'],
'MongoDB\BSON\RegexInterface::__toString' => ['void'],
'MongoDB\BSON\Serializable::bsonSerialize' => ['void'],
'MongoDB\BSON\RegexInterface::getPattern' => ['string'],
'MongoDB\BSON\RegexInterface::getFlags' => ['string'],
'MongoDB\BSON\RegexInterface::__toString' => ['string'],
'MongoDB\BSON\Serializable::bsonSerialize' => ['object|array'],
'MongoDB\BSON\Symbol::__toString' => ['string'],
'MongoDB\BSON\Symbol::serialize' => ['string'],
'MongoDB\BSON\Symbol::unserialize' => ['void', 'serialized' => ''],
@ -7763,17 +7763,17 @@ return [
'MongoDB\BSON\Timestamp::serialize' => ['string'],
'MongoDB\BSON\Timestamp::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Timestamp::jsonSerialize' => ['mixed'],
'MongoDB\BSON\TimestampInterface::getTimestamp' => ['void'],
'MongoDB\BSON\TimestampInterface::getIncrement' => ['void'],
'MongoDB\BSON\TimestampInterface::__toString' => ['void'],
'MongoDB\BSON\TimestampInterface::getTimestamp' => ['int'],
'MongoDB\BSON\TimestampInterface::getIncrement' => ['int'],
'MongoDB\BSON\TimestampInterface::__toString' => ['string'],
'MongoDB\BSON\UTCDateTime::__construct' => ['void', 'milliseconds=' => 'DateTimeInterface|string|int|float|null'],
'MongoDB\BSON\UTCDateTime::toDateTime' => ['DateTime'],
'MongoDB\BSON\UTCDateTime::__toString' => ['string'],
'MongoDB\BSON\UTCDateTime::serialize' => ['string'],
'MongoDB\BSON\UTCDateTime::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\UTCDateTime::jsonSerialize' => ['mixed'],
'MongoDB\BSON\UTCDateTimeInterface::toDateTime' => ['void'],
'MongoDB\BSON\UTCDateTimeInterface::__toString' => ['void'],
'MongoDB\BSON\UTCDateTimeInterface::toDateTime' => ['DateTime'],
'MongoDB\BSON\UTCDateTimeInterface::__toString' => ['string'],
'MongoDB\BSON\Undefined::__toString' => ['string'],
'MongoDB\BSON\Undefined::serialize' => ['string'],
'MongoDB\BSON\Undefined::unserialize' => ['void', 'serialized' => ''],
@ -7809,16 +7809,11 @@ return [
'MongoDB\Driver\CursorId::__toString' => ['string'],
'MongoDB\Driver\CursorId::serialize' => ['string'],
'MongoDB\Driver\CursorId::unserialize' => ['void', 'serialized' => ''],
'MongoDB\Driver\CursorInterface::current' => ['object|array|null'],
'MongoDB\Driver\CursorInterface::getId' => ['void'],
'MongoDB\Driver\CursorInterface::getServer' => ['void'],
'MongoDB\Driver\CursorInterface::isDead' => ['void'],
'MongoDB\Driver\CursorInterface::key' => ['?int'],
'MongoDB\Driver\CursorInterface::next' => ['void'],
'MongoDB\Driver\CursorInterface::rewind' => ['void'],
'MongoDB\Driver\CursorInterface::getId' => ['MongoDB\Driver\CursorId'],
'MongoDB\Driver\CursorInterface::getServer' => ['MongoDB\Driver\Server'],
'MongoDB\Driver\CursorInterface::isDead' => ['bool'],
'MongoDB\Driver\CursorInterface::setTypeMap' => ['void', 'typemap' => 'array'],
'MongoDB\Driver\CursorInterface::toArray' => ['void'],
'MongoDB\Driver\CursorInterface::valid' => ['bool'],
'MongoDB\Driver\CursorInterface::toArray' => ['array'],
'MongoDB\Driver\Exception\AuthenticationException::__toString' => ['string'],
'MongoDB\Driver\Exception\BulkWriteException::__toString' => ['string'],
'MongoDB\Driver\Exception\CommandException::getResultDocument' => ['object'],

47
dictionaries/CallMap_historical.php
View File

@ -3972,8 +3972,8 @@ return [
'MongoDB\BSON\Binary::serialize' => ['string'],
'MongoDB\BSON\Binary::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Binary::jsonSerialize' => ['mixed'],
'MongoDB\BSON\BinaryInterface::getData' => ['void'],
'MongoDB\BSON\BinaryInterface::getType' => ['void'],
'MongoDB\BSON\BinaryInterface::getData' => ['string'],
'MongoDB\BSON\BinaryInterface::getType' => ['int'],
'MongoDB\BSON\BinaryInterface::__toString' => ['string'],
'MongoDB\BSON\DBPointer::__toString' => ['string'],
'MongoDB\BSON\DBPointer::serialize' => ['string'],
@ -3984,7 +3984,7 @@ return [
'MongoDB\BSON\Decimal128::serialize' => ['string'],
'MongoDB\BSON\Decimal128::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Decimal128::jsonSerialize' => ['mixed'],
'MongoDB\BSON\Decimal128Interface::__toString' => ['void'],
'MongoDB\BSON\Decimal128Interface::__toString' => ['string'],
'MongoDB\BSON\Int64::__toString' => ['string'],
'MongoDB\BSON\Int64::serialize' => ['string'],
'MongoDB\BSON\Int64::unserialize' => ['void', 'serialized' => ''],
@ -3996,9 +3996,9 @@ return [
'MongoDB\BSON\Javascript::serialize' => ['string'],
'MongoDB\BSON\Javascript::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Javascript::jsonSerialize' => ['mixed'],
'MongoDB\BSON\JavascriptInterface::getCode' => ['void'],
'MongoDB\BSON\JavascriptInterface::getScope' => ['void'],
'MongoDB\BSON\JavascriptInterface::__toString' => ['void'],
'MongoDB\BSON\JavascriptInterface::getCode' => ['string'],
'MongoDB\BSON\JavascriptInterface::getScope' => ['?object'],
'MongoDB\BSON\JavascriptInterface::__toString' => ['string'],
'MongoDB\BSON\MaxKey::serialize' => ['string'],
'MongoDB\BSON\MaxKey::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\MaxKey::jsonSerialize' => ['mixed'],
@ -4011,8 +4011,8 @@ return [
'MongoDB\BSON\ObjectId::serialize' => ['string'],
'MongoDB\BSON\ObjectId::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\ObjectId::jsonSerialize' => ['mixed'],
'MongoDB\BSON\ObjectIdInterface::getTimestamp' => ['void'],
'MongoDB\BSON\ObjectIdInterface::__toString' => ['void'],
'MongoDB\BSON\ObjectIdInterface::getTimestamp' => ['int'],
'MongoDB\BSON\ObjectIdInterface::__toString' => ['string'],
'MongoDB\BSON\Regex::__construct' => ['void', 'pattern' => 'string', 'flags=' => 'string'],
'MongoDB\BSON\Regex::getPattern' => ['string'],
'MongoDB\BSON\Regex::getFlags' => ['string'],
@ -4020,10 +4020,10 @@ return [
'MongoDB\BSON\Regex::serialize' => ['string'],
'MongoDB\BSON\Regex::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Regex::jsonSerialize' => ['mixed'],
'MongoDB\BSON\RegexInterface::getPattern' => ['void'],
'MongoDB\BSON\RegexInterface::getFlags' => ['void'],
'MongoDB\BSON\RegexInterface::__toString' => ['void'],
'MongoDB\BSON\Serializable::bsonSerialize' => ['void'],
'MongoDB\BSON\RegexInterface::getPattern' => ['string'],
'MongoDB\BSON\RegexInterface::getFlags' => ['string'],
'MongoDB\BSON\RegexInterface::__toString' => ['string'],
'MongoDB\BSON\Serializable::bsonSerialize' => ['object|array'],
'MongoDB\BSON\Symbol::__toString' => ['string'],
'MongoDB\BSON\Symbol::serialize' => ['string'],
'MongoDB\BSON\Symbol::unserialize' => ['void', 'serialized' => ''],
@ -4035,17 +4035,17 @@ return [
'MongoDB\BSON\Timestamp::serialize' => ['string'],
'MongoDB\BSON\Timestamp::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\Timestamp::jsonSerialize' => ['mixed'],
'MongoDB\BSON\TimestampInterface::getTimestamp' => ['void'],
'MongoDB\BSON\TimestampInterface::getIncrement' => ['void'],
'MongoDB\BSON\TimestampInterface::__toString' => ['void'],
'MongoDB\BSON\TimestampInterface::getTimestamp' => ['int'],
'MongoDB\BSON\TimestampInterface::getIncrement' => ['int'],
'MongoDB\BSON\TimestampInterface::__toString' => ['string'],
'MongoDB\BSON\UTCDateTime::__construct' => ['void', 'milliseconds=' => 'DateTimeInterface|string|int|float|null'],
'MongoDB\BSON\UTCDateTime::toDateTime' => ['DateTime'],
'MongoDB\BSON\UTCDateTime::__toString' => ['string'],
'MongoDB\BSON\UTCDateTime::serialize' => ['string'],
'MongoDB\BSON\UTCDateTime::unserialize' => ['void', 'serialized' => ''],
'MongoDB\BSON\UTCDateTime::jsonSerialize' => ['mixed'],
'MongoDB\BSON\UTCDateTimeInterface::toDateTime' => ['void'],
'MongoDB\BSON\UTCDateTimeInterface::__toString' => ['void'],
'MongoDB\BSON\UTCDateTimeInterface::toDateTime' => ['DateTime'],
'MongoDB\BSON\UTCDateTimeInterface::__toString' => ['string'],
'MongoDB\BSON\Undefined::__toString' => ['string'],
'MongoDB\BSON\Undefined::serialize' => ['string'],
'MongoDB\BSON\Undefined::unserialize' => ['void', 'serialized' => ''],
@ -4081,16 +4081,11 @@ return [
'MongoDB\Driver\CursorId::__toString' => ['string'],
'MongoDB\Driver\CursorId::serialize' => ['string'],
'MongoDB\Driver\CursorId::unserialize' => ['void', 'serialized' => ''],
'MongoDB\Driver\CursorInterface::current' => ['object|array|null'],
'MongoDB\Driver\CursorInterface::getId' => ['void'],
'MongoDB\Driver\CursorInterface::getServer' => ['void'],
'MongoDB\Driver\CursorInterface::isDead' => ['void'],
'MongoDB\Driver\CursorInterface::key' => ['?int'],
'MongoDB\Driver\CursorInterface::next' => ['void'],
'MongoDB\Driver\CursorInterface::rewind' => ['void'],
'MongoDB\Driver\CursorInterface::getId' => ['MongoDB\Driver\CursorId'],
'MongoDB\Driver\CursorInterface::getServer' => ['MongoDB\Driver\Server'],
'MongoDB\Driver\CursorInterface::isDead' => ['bool'],
'MongoDB\Driver\CursorInterface::setTypeMap' => ['void', 'typemap' => 'array'],
'MongoDB\Driver\CursorInterface::toArray' => ['void'],
'MongoDB\Driver\CursorInterface::valid' => ['bool'],
'MongoDB\Driver\CursorInterface::toArray' => ['array'],
'MongoDB\Driver\Exception\AuthenticationException::__toString' => ['string'],
'MongoDB\Driver\Exception\BulkWriteException::__toString' => ['string'],
'MongoDB\Driver\Exception\CommandException::getResultDocument' => ['object'],