3 ms·

iirc you can't do this for extensions which being a huge amount of compiler constraint resolution time

• andrekandre 8mo ago
  interesting, so maybe a good recommendation would be to not go overboard with too many public extensions... hmm...