test-suite/failure/Case13.v


1
2
3
4
5

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