Produce proper type erasure for raw classifiers: type variables are erased to their bounds
This commit is contained in:
Grigorii Kirgizov
parent
d3d567101f
commit
e1ac188023
|
|
@ -35250,80 +35250,159 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1Dw8fO" id="3R6X$QWh1eB" role="3cqZAp">
|
||||
<node concept="3clFbS" id="3R6X$QWh1eC" role="2LFqv$">
|
||||
<node concept="3clFbJ" id="3R6X$QWh1eD" role="3cqZAp">
|
||||
<node concept="3clFbS" id="3R6X$QWh1eE" role="3clFbx">
|
||||
<node concept="3Aqczg" id="3R6X$QWh1eF" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="3R6X$QWh1eG" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="3R6X$QWh1eH" role="3A8wtg">
|
||||
<node concept="1DcWWT" id="4Ca87cv5_8U" role="3cqZAp">
|
||||
<node concept="3clFbS" id="4Ca87cv5_8V" role="2LFqv$">
|
||||
<node concept="3clFbJ" id="4Ca87cv5CL3" role="3cqZAp">
|
||||
<node concept="3clFbS" id="4Ca87cv5CL5" role="3clFbx">
|
||||
<node concept="3Aqczg" id="4Ca87cv5D4G" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="4Ca87cv5D4H" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4Ca87cv5D4I" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
|
||||
<node concept="37vLTw" id="3R6X$QWh1eI" role="3gCZO6">
|
||||
<ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
|
||||
<node concept="2OqwBi" id="4Ca87cv5Dqp" role="3gCZO6">
|
||||
<node concept="37vLTw" id="4Ca87cv5D7R" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
|
||||
</node>
|
||||
<node concept="2bSWHS" id="4Ca87cv5DGX" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ns1u0" id="3R6X$QWh1eJ" role="3A8w4Q">
|
||||
<node concept="ns1u0" id="4Ca87cv5D4K" role="3A8w4Q">
|
||||
<ref role="ns1xF" node="JOGAOsVt3c" resolve="_null_" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="3R6X$QWh1eK" role="3clFbw">
|
||||
<node concept="37vLTw" id="4Ca87cv5CLr" role="3clFbw">
|
||||
<ref role="3cqZAo" node="3R6X$QWh1ev" resolve="allowUnchecked" />
|
||||
</node>
|
||||
<node concept="9aQIb" id="3R6X$QWh1eL" role="9aQIa">
|
||||
<node concept="3clFbS" id="3R6X$QWh1eM" role="9aQI4">
|
||||
<node concept="3Aqczg" id="3R6X$QWh1eN" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="3R6X$QWh1eO" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="3R6X$QWh1eP" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
|
||||
<node concept="37vLTw" id="3R6X$QWh1eQ" role="3gCZO6">
|
||||
<ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
|
||||
<node concept="9aQIb" id="4Ca87cv5CL_" role="9aQIa">
|
||||
<node concept="3clFbS" id="4Ca87cv5CLA" role="9aQI4">
|
||||
<node concept="3SKdUt" id="4Q8MVs$ZLpi" role="3cqZAp">
|
||||
<node concept="1PaTwC" id="4Q8MVs$ZLpj" role="3ndbpf">
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLpl" role="1PaTwD">
|
||||
<property role="3oM_SC" value="for" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs_3uKm" role="1PaTwD">
|
||||
<property role="3oM_SC" value="a" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLxs" role="1PaTwD">
|
||||
<property role="3oM_SC" value="type" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLyL" role="1PaTwD">
|
||||
<property role="3oM_SC" value="variable" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLAB" role="1PaTwD">
|
||||
<property role="3oM_SC" value="produce" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLsl" role="1PaTwD">
|
||||
<property role="3oM_SC" value="type" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLG9" role="1PaTwD">
|
||||
<property role="3oM_SC" value="erasure" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLHw" role="1PaTwD">
|
||||
<property role="3oM_SC" value="--" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLK8" role="1PaTwD">
|
||||
<property role="3oM_SC" value="its" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs$ZLML" role="1PaTwD">
|
||||
<property role="3oM_SC" value="leftmost" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="4Q8MVs_3uF9" role="1PaTwD">
|
||||
<property role="3oM_SC" value="bound" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3X$Joe" id="4Q8MVs$ZJDT" role="3cqZAp">
|
||||
<node concept="aZer4" id="4Q8MVs$ZJNp" role="3XD1gS">
|
||||
<property role="TrG5h" value="Bound" />
|
||||
</node>
|
||||
<node concept="32pEOW" id="4Q8MVs$ZJDW" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3clFbJ" id="4Q8MVs_1CZi" role="3cqZAp">
|
||||
<node concept="3clFbS" id="4Q8MVs_1CZk" role="3clFbx">
|
||||
<node concept="3Aqczg" id="4Q8MVs_1E8$" role="3cqZAp">
|
||||
<node concept="1imXTs" id="4Q8MVs_1E8u" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4Q8MVs_1E9U" role="1imXu6">
|
||||
<ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4Q8MVs_1Edv" role="1imXSf">
|
||||
<node concept="37vLTw" id="4Q8MVs_1Ebh" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="4Q8MVs_1EfJ" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ns1u0" id="3R6X$QWh1eR" role="3A8w4Q">
|
||||
<ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
|
||||
<node concept="nsMwS" id="3R6X$QWh1eS" role="ns1xD">
|
||||
<ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
|
||||
<node concept="2tJFMh" id="3R6X$QWh1eT" role="nsMwV">
|
||||
<node concept="ZC_QK" id="3R6X$QWh1eU" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4Q8MVs_1DHF" role="3clFbw">
|
||||
<node concept="2OqwBi" id="4Q8MVs_1Dcz" role="2Oq$k0">
|
||||
<node concept="37vLTw" id="4Q8MVs_1D1k" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="4Q8MVs_1DoP" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3x8VRR" id="4Q8MVs_1E32" role="2OqNvi" />
|
||||
</node>
|
||||
<node concept="9aQIb" id="4Q8MVs_1EsU" role="9aQIa">
|
||||
<node concept="3clFbS" id="4Q8MVs_1EsV" role="9aQI4">
|
||||
<node concept="3Aqczg" id="4Q8MVs_1E$w" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="4Q8MVs_1E$x" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4Q8MVs_1ECp" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="4Q8MVs_1E$z" role="3A8w4Q">
|
||||
<ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
|
||||
<node concept="nsMwS" id="4Q8MVs_1E$$" role="ns1xD">
|
||||
<ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
|
||||
<node concept="2tJFMh" id="4Q8MVs_1E$_" role="nsMwV">
|
||||
<node concept="ZC_QK" id="4Q8MVs_1E$A" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="4Q8MVs$ZKtg" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="4Q8MVs$ZKta" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4Q8MVs$ZKuZ" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
|
||||
<node concept="2OqwBi" id="4Q8MVs$ZKP$" role="3gCZO6">
|
||||
<node concept="37vLTw" id="4Q8MVs$ZKyV" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
|
||||
</node>
|
||||
<node concept="2bSWHS" id="4Q8MVs$ZL34" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="4Q8MVs$ZLc4" role="3A8w4Q">
|
||||
<ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWsn" id="3R6X$QWh1eV" role="1Duv9x">
|
||||
<property role="TrG5h" value="i" />
|
||||
<node concept="10Oyi0" id="3R6X$QWh1eW" role="1tU5fm" />
|
||||
<node concept="3cmrfG" id="3R6X$QWh1eX" role="33vP2m">
|
||||
<property role="3cmrfH" value="0" />
|
||||
<node concept="3cpWsn" id="4Ca87cv5_95" role="1Duv9x">
|
||||
<property role="TrG5h" value="tvd" />
|
||||
<node concept="3Tqbb2" id="4Ca87cv5_96" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g96euPO" resolve="TypeVariableDeclaration" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eOVzh" id="3R6X$QWh1eY" role="1Dwp0S">
|
||||
<node concept="2OqwBi" id="3R6X$QWh1eZ" role="3uHU7w">
|
||||
<node concept="2OqwBi" id="3R6X$QWh1f0" role="2Oq$k0">
|
||||
<node concept="3tDTZT" id="3R6X$QWh1f1" role="2Oq$k0">
|
||||
<ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3R6X$QWh1f2" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="34oBXx" id="3R6X$QWh1f3" role="2OqNvi" />
|
||||
<node concept="2OqwBi" id="4Ca87cv5_97" role="1DdaDG">
|
||||
<node concept="3tDTZT" id="4Ca87cv5_98" role="2Oq$k0">
|
||||
<ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3R6X$QWh1f4" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uNrnE" id="3R6X$QWh1f5" role="1Dwrff">
|
||||
<node concept="37vLTw" id="3R6X$QWh1f6" role="2$L3a6">
|
||||
<ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
|
||||
<node concept="3Tsc0h" id="4Ca87cv5_99" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
Loading…
Reference in New Issue