Add test to make sure we never break recursive types

Add test to make sure we never break recursive types #1113