module M { requires A; }