test-suite/bugs/closed/bug_9300.v


1
2
3
4
5
6

Existing Class True.

Instance foo {n : nat} (x := I) : forall {b : bool} (s : nat * nat), True. auto. Defined.

Fail Check foo (n := 3) true (s := (4 , 5)).
Check foo (n := 3) (b := true) (4 , 5).