{"ast_node_type":"other","tokens":[{"end":107,"kind":"keyword","start":0,"text":"//"}]}
        // Check that any hidden types found during wf checking match the hidden types that `type_of` sees.
    } else {
        for (mut key, mut ty) in infcx.take_opaque_types() {