Streaming download throws `Bad resource ID`

const res = await fetch(url);

if (!res.ok) {
  throw new Error(`Got error ${res.status} ${res.statusText}`);
}

const body = res.body;

if (!body) {
  throw new Error(`Got no body`);
}

const file = await Deno.create(path);

try {
  await body.pipeTo(file.writable);
} catch (e) {
  await Deno.remove(path);
  throw new Error(`Download interrupted ${e}`);
} finally {
  file.close();
}

const res = await fetch(url);

if (!res.ok) {
  throw new Error(`Got error ${res.status} ${res.statusText}`);
}

const body = res.body;

if (!body) {
  throw new Error(`Got no body`);
}

const file = await Deno.create(path);

try {
  await body.pipeTo(file.writable);
} catch (e) {
  await Deno.remove(path);
  throw new Error(`Download interrupted ${e}`);
} finally {
  file.close();
}

error: Uncaught (in promise) BadResource: Bad resource ID
    file.close();
         ^
    at FsFile.close (ext:deno_fs/30_fs.js:743:10)
    at loadFile (file:///foobar/loadFile.ts:142:16)
    at eventLoopTick (ext:core/01_core.js:168:7)
    at async file:///foobar/main.ts:42:7

error: Uncaught (in promise) BadResource: Bad resource ID
    file.close();
         ^
    at FsFile.close (ext:deno_fs/30_fs.js:743:10)
    at loadFile (file:///foobar/loadFile.ts:142:16)
    at eventLoopTick (ext:core/01_core.js:168:7)
    at async file:///foobar/main.ts:42:7