blob: ed1a0c29aea9e3b94b40c077caa10cc9b6a1a7d0 (
plain)
1
2
3
4
5
6
|
Check (match true return
match eq_refl Type return Type with eq_refl => bool end
with _ => true end).
Check (match true return
match eq_refl Type with eq_refl => bool end
with _ => true end).
|