{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"(AutoderefKind::Builtin,"}]}
                    (AutoderefKind::Builtin, normalized_ty)
                    self.state.obligations.extend(obligations);
                } else {