message: Use elab_order.len() to determine the number of items
diff: @@ -985,11 +985,7 @@ impl<'interner, 'arena, 'error> Context<'interner, 'arena, 'error> {
  pub fn elab_module(&mut self, surface_module: &Module<'_, ByteRange>) -> core::Module<'arena> {
  let elab_order = order::elaboration_order(self, surface_module);
  let universe = Arc::new(Value::Universe);
  - // TODO: Could the Module keep track of this as items are added to it
  - let num_items = (surface_module.items.iter())
  - .filter(|item| matches!(item, Item::Definition { .. }))
  - .count();
  - let mut items = SliceVec::new(self.scope, num_items);
  + let mut items = SliceVec::new(self.scope, elab_order.len());
  for item in elab_order.iter().copied().map(|i| &surface_module.items[i]) {
  match item {
  