path: root/test-suite/success/inds_type_sec.v

Section S.
Inductive T [U:Type] : Set := c : U -> (T U).
End S.