'cannot reconcile upper and lower bound for template' message usability #3126
Labels
Comments
|
I found these snippets: https://psalm.dev/r/8a21c26e0a<?php
function outmaker(B $o): void {}
$className = A::class;
/**
* @template T
* @param class-string<T> $className
* @param callable(T):void $outmaker
* @return T
*/
function createProxy(
string $className,
callable $outmaker
) : object {
$t = new $className();
$outmaker($t);
return $t;
}
class A {
public function bar() : void {}
}
class B {}
createProxy($className, 'outmaker')->bar(); |
|
Also "see https://psalm.dev/194" does not really help as it is about arrays and iterables. |
muglug
added a commit
that referenced
this issue
Apr 13, 2020
|
Message has been changed since. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The fix for #3084 introduced new error message which I'm afraid will be extremely confusing for even the average Psalm user.
Consider this (simple) example: https://psalm.dev/r/8a21c26e0a
Even here one could have a head scratching moment figuring out where do A and B come from. Now imagine that parameters come from one library, getting passed to another library, and types for both provided by independent plugins and it all starts looking like a support hell.
I would suggest to:
Example of adjusted message:
The text was updated successfully, but these errors were encountered: