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