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

Fail Inductive foo : forall P, P := .
Fail Inductive bar : nat := .
Fail Inductive baz : _ := .