const attr_to_binary_rename_getterinfo: JSJitInfo;