(typingName)
| 125790 | log("Result: ".concat(JSON.stringify(result))); |
| 125791 | return result; |
| 125792 | function addInferredTyping(typingName) { |
| 125793 | if (!inferredTypings.has(typingName)) { |
| 125794 | inferredTypings.set(typingName, undefined); // TODO: GH#18217 |
| 125795 | } |
| 125796 | } |
| 125797 | function addInferredTypings(typingNames, message) { |
| 125798 | if (log) |
| 125799 | log("".concat(message, ": ").concat(JSON.stringify(typingNames))); |
no test coverage detected