const sourceFile_getterinfo: JSJitInfo;