Bug 23056: recursive value type

The compiler correctly identifies the recursive value type, but it crashes anyways.