This commit improves type resolution for a unresolved generic type that
uses itself in its upper bound declaration.

Closes gh-16451