{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
        let impls = stat!("impls", || self.encode_impls());
        // Encode the def IDs of impls, for coherence checking.