{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        Ok(())
        // Check that any hidden types found during wf checking match the hidden types that `type_of` sees.