{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"ExpectHasType(ety)"}]}
            ExpectHasType(ety) => {
        match *self {
                let ety = fcx.try_structurally_resolve_type(span, ety);