Help wantedtemplatestype providers
仓库指标
- 星标
- (5,369 个星标)
- PR 合并指标
- (平均合并 3天 12小时) (30 天内合并 5 个 PR)
描述
Consider this snippet of code https://psalm.dev/r/6731c85f04
Given an object of type Iso<S, A>, its to method should be a function from S to A.
Passing an object $that of type Iso<A, C> as a parameter to a method of the ISO<S, A> object and checking the type of its to method, I would expect to get callable(A): C. Instead I get a callable(S): A. This is weird because $that doesn't know anything about the S template