3 ms·Huh -- that looks like a (new) bug to me. We should reuse the external declaration.by jashkenas 15y agoHuh -- that looks like a (new) bug to me. We should reuse the external declaration.