chore: resolve type errors

This commit is contained in:
jamesgeorge007
2024-05-09 10:43:05 +05:30
parent c8f0142b16
commit 5d8da5fe49
4 changed files with 93 additions and 48 deletions

View File

@@ -257,7 +257,9 @@ const saveRequestAs = async () => {
const requestHandle = requestHandleResult.right
if (requestHandle.value.type === "invalid") {
const requestHandleRef = requestHandle.get()
if (requestHandleRef.value.type === "invalid") {
// WORKSPACE_INVALIDATED | INVALID_COLLECTION_HANDLE
return
}
@@ -288,7 +290,9 @@ const saveRequestAs = async () => {
const requestHandle = requestHandleResult.right
if (requestHandle.value.type === "invalid") {
const requestHandleRef = requestHandle.get()
if (requestHandleRef.value.type === "invalid") {
// WORKSPACE_INVALIDATED
return
}