TypeFeedbackInfoPrint 6853 src/objects.h    inline void TypeFeedbackInfoPrint() {
TypeFeedbackInfoPrint 6854 src/objects.h      TypeFeedbackInfoPrint(stdout);
TypeFeedbackInfoPrint 6856 src/objects.h    void TypeFeedbackInfoPrint(FILE* out);