{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"self.state.obligations.extend(obligations);"}]}
                    self.state.obligations.extend(obligations);
                    let (normalized_ty, obligations) = self.structurally_normalize_ty(ty)?;
                    (AutoderefKind::Builtin, normalized_ty)