{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"&Expectation::HasType(bool_ty.clone()),"}]}
                        &Expectation::HasType(bool_ty.clone()),
                        *rhs,
                        ExprIsRead::Yes,