Vasiliy Kurdin

Type bounds for generic parameters

1

How can I fix `Bar::foo` from this example https://psalm.dev/r/2ec8af4c04 ? In Scala I can introduce a lower type bound for a new type parameter `A1` with lower bound of `A`:...