Tweak test as a result of fixing #4175

The test calls ":info" on an associate type, so now the output also
contains the associated type's instances.
Initial test for Trac #4175