Added test case showing bug with infinite types