Adds failing test for nested type parameters.

Test originally submitted by Kim Bruce in email.