test-suite/bugs/closed/bug_10888.v


1
2
3
4
5
6
7
8
9
10
11

Module Type T.
Context {A:Type}.
End T.

Module M(X:T).
  Import X.
  Check X.A.
  Check A.
  Definition B := A.
End M.