[WebIDL] Editorial: note that Promise<T> arguments also accept T whatwg/webidl@e1300e9

Author: triple-underscore

WebIDL-JS-ja.html

@@ -305,7 +305,7 @@
 ●●options
 
 spec_title:Web IDL Standard
-trans_update:2025-11-30
+trans_update:2026-03-30
 original_url:https://webidl.spec.whatwg.org/
 	abbr_url:WEBIDLjs
 page_state_key:WEBIDL
@@ -1388,6 +1388,8 @@
 的確:right:~
 責務:responsibility:~
 続行-:proceed:~
+機構:machinery:~
+間違った:wrongな:~
 
 	~~問題ない:Fine;
 	標準でない:non-standard
@@ -1533,7 +1535,7 @@
 
 	／-:known
 	最低:lowest
-	最終的に:eventual
+	最終的:eventual
 	最長:longest
 	唯一の:only
 	後続:
@@ -1673,6 +1675,7 @@
 	%個数:count
 	%引数~宣言~list:-
 	%事由:reason
+	%事由:r
 	%作成したか:created
 	%作成するか:creating
 	%名前:name
@@ -1835,7 +1838,6 @@
 	%p
 	%proto
 	%prototype
-	%r
 	%target
 	%v
 	%x
@@ -2590,7 +2592,7 @@ <h4 title="Integer types">3.2.4. 整数~型</h4>
 Let x be ? ConvertToInt(V, _N_, "signed|unsigned").
 </li>
 	<li>
-~RET %x と同じ数量-値を表現する，型 %T の~IDL値
+~RET %x と同じ数量-値を表現する，%T 型の~IDL値
 ◎
 Return the IDL _T_ value that represents the same numeric value as x.
 </li>
@@ -5086,16 +5088,53 @@ <h4 title="Promise types — Promise&lt;T&gt;">3.2.24. ~promise型 — ~promise_
 The result of converting an IDL promise type value to a JavaScript value is the value of the [[Promise]] field of the record that IDL promise type represents.
 </p>
 
+<div class="note">
+<p>注記：
+~JS値を~IDL `~promise_T$ 型の値へ変換するときは、
+当の値は，先ず（~IDL） `Promise$T 内に包装されてから、
+後の機構が［
+当の~promiseが %T 型の値へ正しく解決される
+］ことを確保する。
+◎
+When converting a JS value to a Promise&lt;T&gt; IDL value, first the value is wrapped in an (IDL) Promise, then later machinery ensures the promise correctly resolves to a value of type T.
+</p>
+
+<p>
+このことは、
+例えば［
+`~promise_T$ 型の引数をとるものと定義された~method
+］は，［
+`~promise_T$ ~obj
+（それは，最終的に %T 型の~obj†へ解決されなければならない）,
+%T 型の~obj†
+］どちらも自動的に受容することになることを意味する。
+【† %T は~obj型とは限らないので（整数~型など），単に “値” であろう。】
+◎
+This means that, for example, a method defined to take a Promise&lt;T&gt; argument will automatically accept both Promise objects (which must eventually resolve to a T object) and T objects themselves.
+</p>
+
+<p>
+（それは、
+初期~時には［
+`他のどの^em型の~objも受容する
+］が，最終的には［
+当の~promiseを間違った型へ解決する際に，自動-却下する
+］ことになる。）
+◎
+(It will also, initially, accept any other type of object, but will eventually auto-reject the promise for resolving to the wrong type.)
+</p>
+</div>
+
 				<section id="js-promise-manipulation">
 <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法と操作-法</h5>
 
 <div class="algo">
 <p>
 `新たな~promise@
 （ `a new promise^en ）
-を
-— ~realm内に新たな `~promise_T$ を† —
-作成する~algoは、
+を作成する
+— ~realm内に新たな `~promise_T$ †を作成する —
+~algoは、
 所与の
 ( `~realm$ %~realm )
 に対し：
@@ -5180,7 +5219,7 @@ <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法
 %値 が~IDL値を期待する文脈で利用される所では、
 暗黙的に~IDL値に変換されることになる
 （例： ~promise_T を返す~APIにおいては、
-%T 型の~IDL値に変換される）。
+~IDL %T 型の値に変換される）。
 】</p>
 </div>
 
@@ -5233,7 +5272,7 @@ <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法
 （ `resolve^en する）
 ~algoは、
 所与の
-( `~promise_T$ %p, 型 %T の値 %x ~DF `undefined$T 値 )
+( `~promise_T$ %p, %T 型の値 %x ~DF `undefined$T 値 )
 に対し：
 ◎
 To resolve a Promise&lt;T&gt; p with x (a value of type T), perform the following steps:
@@ -5272,22 +5311,22 @@ <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法
 （ `reject^en する）
 ~algoは、
 所与の
-( `~promise_T$ %p, ~JS値 %r )
-に対し（ %r が事由を与える）：
+( `~promise_T$ %p, ~JS値 %事由 )
+に対し：
 ◎
 To reject a Promise&lt;T&gt; p with reason r (a JavaScript value), perform the following steps:
 </p>
 <ol>
 	<li>
-~NOABRUPT `Call$A( %p.`Reject^sl, `undefined^jv, « %r » )
+~NOABRUPT `Call$A( %p.`Reject^sl, `undefined^jv, « %事由 » )
 ◎
 Perform ! Call(p.[[Reject]], undefined, « r »).
 </li>
 </ol>
 
 <p class="trans-note">【
 これは、
-“ %x で %p を却下する”
+“ %事由 で %p を却下する”
 の様な形の句で参照されることもある。
 】</p>
 </div>
@@ -5447,7 +5486,7 @@ <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法
 `~promise_T$ %~promise の
 `充足-時@
 （ `upon fulfillment^en ）に［
-型 %T の値を引数にとる何らかの手続き %手続き
+%T 型の値を引数にとる何らかの手続き %手続き
 ］を遂行するようにするときは：
 ◎
 To perform some steps upon fulfillment of a Promise&lt;T&gt; promise given some steps steps taking a value of type T, perform the following steps:
@@ -5491,9 +5530,9 @@ <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法
 		<ul>
 			<li class="algo">
 `却下~手続き^i は、
-所与の ( 事由 %r ) に対し
+所与の ( %事由 ) に対し
 ⇒
-%手続き( %r )
+%手続き( %事由 )
 </li>
 		</ul>
 ◎
@@ -5506,7 +5545,8 @@ <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法
 <p class="trans-note">【
 同じ箇所に［
 `充足-時$の手続き, `却下-時$の手続き
-］両者が与えられている所では、
+］両者が与えられることもある
+— その事例では、
 `~promiseに反応する$ときに両~手続きとも渡すことになろう。
 】</p>
 </div>
@@ -5709,8 +5749,7 @@ <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法
 <ol>
 	<li>
 %~promise ~LET 
-型 <code>`Promise$T&lt;`~sequence_T$&gt;</code>
-の`新たな~promise$( %~realm )
+<code>`Promise$T&lt;`~sequence_T$&gt;</code> 型の`新たな~promise$( %~realm )
 ◎
 Let promise be a new promise of type Promise&lt;sequence&lt;T&gt;&gt; in realm.
 </li>
@@ -5768,7 +5807,7 @@ <h5 title="Creating and manipulating Promises">3.2.24.1. ~promiseの作成-法
 <div class="algo">
 <p>
 `~promiseを取扱済みとして~markする@
-（ `mark as handled^en ）ときは、
+（ `mark as handled^en ）~algoは、
 所与の
 ( `~promise_T$ %~promise )
 に対し
@@ -6068,7 +6107,7 @@ <h5 title="Examples">3.2.24.2. 例</h5>
 			<li class="algo">
 <p>
 `却下~手続き^i は、
-所与の ( 事由 %r ) に対し：
+所与の ( %事由 ) に対し：
 ◎
 If promise was rejected with reason r, then:
 </p>
@@ -6093,7 +6132,7 @@ <h5 title="Examples">3.2.24.2. 例</h5>
 <div class="algo">
 手続きは
 ⇒
-`~promiseを却下する$( %p, %r )
+`~promiseを却下する$( %p, %事由 )
 </div>
 ◎
 Queue a task on taskSource to reject p with r.
@@ -6115,7 +6154,7 @@ <h5 title="Examples">3.2.24.2. 例</h5>
 
 <div class="example" id="promise-example-environment-ready">
 <p>
-%環境.`ready^c は、［
+`Environment^T の `ready^c 属性は、［
 ある環境（例：~DOM文書）を成す何らかの部分が “準備済み” になるとき
 ］を通達する`属性$である。
 それは、
@@ -6132,8 +6171,7 @@ <h5 title="Examples">3.2.24.2. 例</h5>
 
 <p>
 どの `Environment^T ~objも
-<code>`Promise$T&lt;`undefined$T&gt;</code>
-型の
+<code>`Promise$T&lt;`undefined$T&gt;</code> 型の
 `準備済み~promise@
 を有するモノトスル。
 ◎
@@ -6158,7 +6196,7 @@ <h5 title="Examples">3.2.24.2. 例</h5>
 <div class="algo">
 <p>
 `~realm$ %~realm 内で `Environment^T ~objを作成するときは、
-次~手続きを遂行する：
+次の手続きを遂行する：
 ◎
 To create an Environment object in a realm realm, perform the following steps:
 </p>
@@ -7866,7 +7904,7 @@ <h4 title="Frozen arrays — FrozenArray&lt;T&gt;">3.2.27. 凍結d配列 — ~Fr
 `凍結d配列を作成する@
 ~algoは、
 所与の
-( 型 %T の値たちが成す連列 %S )
+( %T 型の値たちが成す連列 %S )
 に対し：
 ◎
 To create a frozen array from a sequence of values of type T, follow these steps:
@@ -22190,7 +22228,7 @@ <h4 title="Creating and throwing exceptions">3.14.3. 例外の作成-法と投
 
 <div class="algo">
 <p>
-型 %T の`単純~例外$用に`例外を作成する$ときは：
+%T 型の`単純~例外$用に`例外を作成する$ときは：
 ◎
 To create a simple exception of type T:
 </p>

WebIDL-ja.html

@@ -471,7 +471,7 @@
 ●●options
 
 spec_title:Web IDL Standard
-spec_date:2026-03-16
+spec_date:2026-03-27
 trans_update:2025-09-25
 source_checked:250915
 original_url:https://webidl.spec.whatwg.org/
@@ -2271,7 +2271,7 @@
 [WASM-JS-API-1]
     Daniel Ehrenberg. ＜WebAssembly JavaScript Interface＞. URL: https://webassembly.github.io/spec/js-api/
 [WASM-JS-API-2]
-    . Ms2ger. ＜WebAssembly JavaScript Interface＞. URL: https://webassembly.github.io/spec/js-api/
+    . Ms2ger; Ryan Hunt. ＜WebAssembly JavaScript Interface＞. URL: https://webassembly.github.io/spec/js-api/
 [XML-NAMES]
     Tim Bray; et al. ＜Namespaces in XML 1.0 (Third Edition)＞. 8 December 2009. REC. URL: https://www.w3.org/TR/xml-names/
 
@@ -2298,7 +2298,7 @@
 
 Commits
 	<a href="https://github.com/whatwg/webidl/commits">GitHub whatwg/webidl/commits</a>
-	<a href="https://webidl.spec.whatwg.org/commit-snapshots/a652053f1e74e4aaf647528deb174012ed6c909f/" id="commit-snapshot-link">Snapshot as of this commit</a>
+	<a href="https://webidl.spec.whatwg.org/commit-snapshots/e1300e95ea6598de45d79823ca72c9bd12852696/" id="commit-snapshot-link">Snapshot as of this commit</a>
 	<a href="https://twitter.com/webidl">@webidl</a>
 
 Tests