Unable to import type inherited from trait.

[rzvc]

There's no way to import FooShape. It cannot be imported directly from FooTrait and it can't be imported from Foo either, despite Foo inheriting it and being able to use it.

/**
* @psalm-type FooShape = array{ foo: string }
*/
trait FooTrait
{
}

class Foo
{
    use FooTrait;
    
    /** @param FooShape $param */
    function test($param) : void
    {
    }
}

/**
* @psalm-import-type FooShape from Foo
* @psalm-type BarShape = FooShape & array{ bar: number }
*/
trait BarTrait
{
    /** @param BarShape $param */
    function test($param) : void
    {
    }
}

class Bar
{
    use BarTrait;
}

https://psalm.dev/r/09df77b283

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/09df77b283

<?php

/**
* @psalm-type FooShape = array{ foo: string }
*/
trait FooTrait
{
}

class Foo
{
    use FooTrait;
    
    /** @param FooShape $param */
    function test($param) : void
    {
    }
}

/**
* @psalm-import-type FooShape from Foo
* @psalm-type BarShape = FooShape & array{ bar: number }
*/
trait BarTrait
{
    /** @param BarShape $param */
    function test($param) : void
    {
    }
}

class Bar
{
    use BarTrait;
}

Psalm output (using commit f960d71):

ERROR: UndefinedDocblockClass - 26:16 - Docblock-defined class, interface or enum named BarShape does not exist

[weirdan]

It cannot be imported directly from FooTrait

It can be imported now (fixed in #10625).