[Maxcastel]

Q	A
Branch?	5.0
License	MIT

One-character bug: the loop that unwraps the key type of a collection called $type->getWrappedType() instead of $collectionKeyType->getWrappedType(). With a wrapping key type, for instance

/** @template TKey of array-key */
class Shelf {
  /** @var array<TKey, Book> */
  public array $books = [];
}

denormalizing books never ends.