mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
Use intersection types #7058
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @greg0ire on GitHub (Oct 10, 2022).
The plan is to wait for a merge up between Psalm
4.xandmasterand switch all branches to Psalmmasterbranch, and use intersection types.Originally posted by @greg0ire in https://github.com/doctrine/orm/pull/10084#discussion_r990617887
@greg0ire commented on GitHub (Nov 26, 2022):
Ugh, I'm getting another crash now:
@greg0ire commented on GitHub (Nov 26, 2022):
I also get it with Psalm's
masterbranch.@greg0ire commented on GitHub (Nov 26, 2022):
I filed https://github.com/vimeo/psalm/issues/8772