ArrayCollection->contains() defines a psalm template for TMaybeContained but does not define a param and return-type for that template. This gives the following psalm ...