Test for recursive polymorphic inlining.