{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//"}]}
                            // *Before* monomorphizing, record that we already handled this mention.
                            let fn_ty = value.const_.ty();
                            self.used_mentioned_items.insert(MentionedItem::Fn(fn_ty));