Template covariance #44

Closed

zjbarg wants to merge 2 commits into

Annotations

10 errors

src/Result.php:177:15: InvalidTemplateParam: Template param T of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:115:15: InvalidTemplateParam: Template param E of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:106:15: InvalidTemplateParam: Template param T of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:98:15: InvalidTemplateParam: Template param E of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:87:15: InvalidTemplateParam: Template param T of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:86:15: InvalidTemplateParam: Template param E of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:75:15: InvalidTemplateParam: Template param T of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:64:15: InvalidTemplateParam: Template param T of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:55:16: InvalidTemplateParam: Template param E of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)

src/Result.php:48:16: InvalidTemplateParam: Template param T of Prewk\Result is marked covariant and cannot be used here (see https://psalm.dev/183)