{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":".tcx"}]}
                            .tcx
                        let instantiated = self
                            .explicit_predicates_of(self.body_id)