test-suite/failure/Case12.v


1
2
3
4
5
6
7


Type [x:nat]<nat> Cases x  of 
                  ((S x) as b) => <nat>Cases x  of
                                        x => x 
                                   end
                          end.