Lines Matching defs:WhyNotOk

146   template <typename A> static MaybeMsg WhyNotOk(const A &x) {
148       return WhyNotOk(x.thing);
150       return WhyNotOk(x.v);
152       return WhyNotOk(x.u);
154       return WhyNotOk(x.t);
161   static MaybeMsg WhyNotOk(const common::Indirection<A> &x) {
162     return WhyNotOk(x.value());
165   static MaybeMsg WhyNotOk(const std::variant<As...> &x) {
166     return common::visit([](const auto &x) { return WhyNotOk(x); }, x);
169   static MaybeMsg WhyNotOk(const std::tuple<As...> &x) {
172     } else if (auto msg{WhyNotOk(std::get<J>(x))}) {
175       return WhyNotOk<(J + 1)>(x);
178   template <typename A> static MaybeMsg WhyNotOk(const std::list<A> &x) {
180       if (MaybeMsg result{WhyNotOk(y)}) {
186   template <typename A> static MaybeMsg WhyNotOk(const std::optional<A> &x) {
188       return WhyNotOk(*x);
194   static MaybeMsg WhyNotOk(const parser::UnlabeledStatement<A> &x) {
195     return WhyNotOk(x.statement);
198   static MaybeMsg WhyNotOk(const parser::Statement<A> &x) {
199     return WhyNotOk(x.statement);
201   static MaybeMsg WhyNotOk(const parser::AllocateStmt &) {
204   static MaybeMsg WhyNotOk(const parser::AllocateCoarraySpec &) {
208   static MaybeMsg WhyNotOk(const parser::DeallocateStmt &) {
211   static MaybeMsg WhyNotOk(const parser::AssignmentStmt &x) {
214   static MaybeMsg WhyNotOk(const parser::CallStmt &x) {
217   static MaybeMsg WhyNotOk(const parser::ContinueStmt &) { return {}; }
218   static MaybeMsg WhyNotOk(const parser::IfStmt &x) {
223     return WhyNotOk(
227   static MaybeMsg WhyNotOk(const parser::NullifyStmt &x) {
235   static MaybeMsg WhyNotOk(const parser::PointerAssignmentStmt &x) {
422               if (auto msg{ActionStmtChecker<IsCUFKernelDo>::WhyNotOk(x)}) {
427               if (auto msg{ActionStmtChecker<IsCUFKernelDo>::WhyNotOk(x)}) {