54     const Descriptor &x, const Descriptor &y, Terminator &terminator) {  in DoDotProduct()  argument
56   RUNTIME_CHECK(terminator, x.rank() == 1 && y.rank() == 1);  in DoDotProduct()
59     terminator.Crash(  in DoDotProduct()
112           Terminator &terminator) const {  in operator ()()
118                 CppTypeFor<YCAT, YKIND>>(x, y, terminator);  in operator ()()
121         terminator.Crash(  in operator ()()
128         Terminator &terminator, TypeCategory yCat, int yKind) const {  in operator ()()
129       return ApplyType<DP2, Result>(yCat, yKind, terminator, x, y, terminator);  in operator ()()
134     Terminator terminator{source, line};  in operator ()()  local
138           x, y, terminator);  in operator ()()
142       RUNTIME_CHECK(terminator, xCatKind.has_value() && yCatKind.has_value());  in operator ()()
144           terminator, x, y, terminator, yCatKind->first, yCatKind->second);  in operator ()()