Added problematic codegen test case

Reusing type parameter names proves to be challenging