aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/check.v
blob: 649fdd2dc1148661cbd6cdfcbbabde502d6feb5b (plain)
1
2
3
Implicit Arguments eq [A].

Check (bool = true).