bug_12551.v « closed « bugs « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/bugs/closed/bug_12551.v

blob: 77ecb367eca0f6d9b471136262fe235fc74971bd (plain)

Section S.
  Context [A:Type] (a:A).
  Definition id := a.
End S.

Check id : forall A, A -> A.
Check id 0 : nat.