test-suite/bugs/closed/bug_10264.v


1
2
3
4
5
6
7
8
9
10

Require Import Program.Tactics.

Definition bla (A:Type) := A.
Existing Class bla.

Program Instance fubar : bla nat := {}.
Next Obligation.
Fail exact bool.
exact 0.
Qed.