{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"self.state.obligations.extend(obligations);"}]}
        self.state.obligations.extend(obligations);
        debug!("overloaded_deref_ty({:?}) = ({:?}, {:?})", ty, normalized_ty, obligations);