Support for complex PHPDoc types in fully_qualified_strict_types

[mvorisek]

Feature request

With the latest release - v3.42.0 - the fully_qualified_strict_types rule does fix some phpdoc to imported types, but not all.

The following code:

<?php

use DataTables;
use DataTables\Database;
use DataTables\Editor;
use DataTables\SearchPaneOptions;

/**
 * @param SearchPaneOptions|callable(Database, \DataTables\Editor): (array|bool) $spInput
 */
function searchPaneOptions($spInput = null) {}

is fixed to:

<?php

use DataTables\Database;
use DataTables\SearchPaneOptions;

/**
 * @param SearchPaneOptions|callable(Database, \DataTables\Editor): (array|bool) $spInput
 */
function searchPaneOptions($spInput = null) {}

applied rules: braces_position, no_unused_imports, single_line_empty_body

but I would expect the following result instead:

<?php

use DataTables\Database;
use DataTables\Editor;
use DataTables\SearchPaneOptions;

/**
 * @param SearchPaneOptions|callable(Database, Editor): (array|bool) $spInput
 */
function searchPaneOptions($spInput = null) {}

[mvorisek]

Related with #5620, all fixes on types must be based on parsed TypeExpression.

[Wirone]

It's not a bug, because initial support for phpDoc was introduced only for simple tags, like @tag \F\Q\C\N. At any point it wasn't aiming for full phpDoc support. I am going to convert this into feature request.

[mvorisek]

even unioned (A|B) and intersected (A&B) types are not supported

[mvorisek]

I plan to work on this after #7719