aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/Case10.v
blob: 661d98cd5637c8a2dbf1bd332b1cc77da09203c7 (plain)
1
2
3
Fail Type (fun x : nat => match x return nat with
                     | S x as b => S b
                     end).