Adjust error annotations to reflect proper typechecking errors

This commit is contained in:
Fedor Isakov 2021-05-18 12:29:38 +02:00
parent 1e3c67949d
commit 054ecf5c25
1 changed files with 6 additions and 6 deletions

View File

@ -12532,13 +12532,13 @@
<node concept="37vLTw" id="2UZNLvp9qlV" role="3K4Cdx">
<ref role="3cqZAo" node="2UZNLvp9n9e" resolve="W" />
</node>
<node concept="1U20sH" id="2UZNLvp9sny" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
<node concept="37vLTw" id="2UZNLvp9qlW" role="37vLTJ">
<ref role="3cqZAo" node="2UZNLvp9n98" resolve="z" />
</node>
<node concept="1U20sH" id="24HkIxuwkLP" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
<node concept="3clFbF" id="2UZNLvp9re$" role="3cqZAp">
@ -12553,13 +12553,13 @@
<node concept="37vLTw" id="2UZNLvp9reD" role="3K4Cdx">
<ref role="3cqZAo" node="2UZNLvp9n9e" resolve="W" />
</node>
<node concept="1U20sH" id="2UZNLvp9sum" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
<node concept="37vLTw" id="2UZNLvp9reF" role="37vLTJ">
<ref role="3cqZAo" node="2UZNLvp9n98" resolve="z" />
</node>
<node concept="1U20sH" id="24HkIxux4Lm" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>