Re: [heycam/webidl] Reword the distinguishability algorithm. (#194)

jyasskin commented on this pull request.



>  
-1.  The two types (taking their [=inner types=]
+<ol class="algorithm">
+1.  If both types are either a [=union type=] or nullable union type,
+    return <i>true</i> if each member type of the one
+    is distinguishable with each member type of the other,
+    or <i>false</i> otherwise.
+1.  If one type is a [=union type=] or nullable union type,
+    return <i>true</i> if each
+    [=member type=] of the union type is distinguishable
+    with the non-union type,
+    or <i>false</i> otherwise.
+1.  If both types are any of:
+    *  a [=dictionary type=],
+    *  a [=record type=], or
+    *  a [=nullable type=],

Because the previous two steps unwrap unions, I believe I don't need to run [includes a nullable type](https://heycam.github.io/webidl/#dfn-includes-a-nullable-type). Let me know if I'm wrong.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/194#pullrequestreview-4766957