{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"ExpectHasType(ty)"}]}
            ExpectHasType(ty) => Some(fcx.resolve_vars_if_possible(ty)),
        match self {
            NoExpectation | ExpectCastableToType(_) | ExpectRvalueLikeUnsized(_) => None,