From dc0506b90a810e6b26f5d732ab69eade8fa504d9 Mon Sep 17 00:00:00 2001
From: Kevin Gibbons <bakkot@gmail.com>
Date: Wed, 9 Sep 2026 14:25:15 -0700
Subject: [PATCH] Normative: make DataView.prototype.{byteLength,byteOffset}
 not throw when backed by detached buffer

---
 spec.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec.html b/spec.html
index fe9621418a8..3dbbf6c76a7 100644
--- a/spec.html
+++ b/spec.html
@@ -46744,7 +46744,7 @@ <h1>get DataView.prototype.byteLength</h1>
           1. Perform ? RequireInternalSlot(_obj_, [[DataView]]).
           1. Assert: _obj_ has a [[ViewedArrayBuffer]] internal slot.
           1. Let _viewRecord_ be MakeDataViewWithBufferWitnessRecord(_obj_, ~seq-cst~).
-          1. If IsViewOutOfBounds(_viewRecord_) is *true*, throw a *TypeError* exception.
+          1. If IsViewOutOfBounds(_viewRecord_) is *true*, return *+0*<sub>𝔽</sub>.
           1. Let _size_ be GetViewByteLength(_viewRecord_).
           1. Return 𝔽(_size_).
         </emu-alg>
@@ -46758,7 +46758,7 @@ <h1>get DataView.prototype.byteOffset</h1>
           1. Perform ? RequireInternalSlot(_obj_, [[DataView]]).
           1. Assert: _obj_ has a [[ViewedArrayBuffer]] internal slot.
           1. Let _viewRecord_ be MakeDataViewWithBufferWitnessRecord(_obj_, ~seq-cst~).
-          1. If IsViewOutOfBounds(_viewRecord_) is *true*, throw a *TypeError* exception.
+          1. If IsViewOutOfBounds(_viewRecord_) is *true*, return *+0*<sub>𝔽</sub>.
           1. Let _offset_ be _obj_.[[ByteOffset]].
           1. Return 𝔽(_offset_).
         </emu-alg>