{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//"}]}
    // so this doesn't need to be optional.
    // FIXME: We should store origins separately from the unification table
    pub fn const_var_origin(&self, vid: ConstVid) -> Option<ConstVariableOrigin> {