{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"self.apply_adjustments(base,"}]}
                                self.apply_adjustments(base, adjustments);
                                let adjustments = self.adjust_steps(&autoderef);
                                self.register_predicates(autoderef.into_obligations());