Using trait_exists() produces "UndefinedClass"

[wouterj]

https://psalm.dev/r/4d535eda5a

I'm testing my library using different major versions of a dependency. Using trait_exists() is a nice way to check if the latest major version is installed. However, it seems like Psalm doesn't yet understand trait_exists() as well as it understands class_exists().

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/4d535eda5a

<?php

if (trait_exists(\Something::class)) {
}

if (class_exists(\Otherthing::class)) {
}

Psalm output (using commit 0ded59d):

ERROR: UndefinedClass - 3:18 - Class, interface or enum named Something does not exist

INFO: MixedArgument - 3:18 - Argument 1 of trait_exists cannot be mixed, expecting string