{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"self.path.push(match"}]}
                self.path.push(match trait_ref {
                // This shouldn't ever be needed, but just in case:
                    Some(trait_ref) => {