Skip to content

Commit

Permalink
wip
Browse files Browse the repository at this point in the history
  • Loading branch information
driesvints committed May 27, 2024
1 parent 644e568 commit 1d902e9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion types/Support/Helpers.php
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@
return 10;
}));

assertType('mixed', with(new User(), function ($user) {
assertType('User', with(new User(), function ($user) {
return $user;
}));
assertType('User', with(new User(), function ($user): User {
Expand Down

0 comments on commit 1d902e9

Please sign in to comment.