On Thu, 27 Dec 2018 19:49:46 +0000, gracinet (Georges Racinet) wrote: > @yuja about the lazy importer, and just to clarify: so you're saying it's not worth it to delay until rustext is actually used. Yes. I don't think importing a cext module would be significant overhead. And the policy importer works in that way.