Test #9017 in polykinds/T9017