{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // Up till this point, we have ignored the annotations that the user
        // gave. This function will check that they unify successfully.