From 7569131faa6b5103b7a5d2c2c4e7b98a7b8daf1b Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Mon, 9 Jan 2023 14:23:37 -0600
Subject: [PATCH] fix type conversion of alias so library function can be found

---
 .../visitors/slithir/expression_to_slithir.py |   9 +++++--
 .../using-for-0.8.8.sol-0.8.10-compact.zip    | Bin 0 -> 3526 bytes
 .../using-for-0.8.8.sol-0.8.11-compact.zip    | Bin 0 -> 3522 bytes
 .../using-for-0.8.8.sol-0.8.12-compact.zip    | Bin 0 -> 3526 bytes
 .../using-for-0.8.8.sol-0.8.13-compact.zip    | Bin 0 -> 3523 bytes
 .../using-for-0.8.8.sol-0.8.14-compact.zip    | Bin 0 -> 3521 bytes
 .../using-for-0.8.8.sol-0.8.15-compact.zip    | Bin 0 -> 3522 bytes
 .../using-for-0.8.8.sol-0.8.8-compact.zip     | Bin 0 -> 3501 bytes
 .../using-for-0.8.8.sol-0.8.10-compact.json   |  11 +++++++++
 .../using-for-0.8.8.sol-0.8.11-compact.json   |  11 +++++++++
 .../using-for-0.8.8.sol-0.8.12-compact.json   |  11 +++++++++
 .../using-for-0.8.8.sol-0.8.13-compact.json   |  11 +++++++++
 .../using-for-0.8.8.sol-0.8.14-compact.json   |  11 +++++++++
 .../using-for-0.8.8.sol-0.8.15-compact.json   |  11 +++++++++
 .../using-for-0.8.8.sol-0.8.8-compact.json    |  11 +++++++++
 .../using-for-0.8.8.sol                       |  22 ++++++++++++++++++
 tests/test_ast_parsing.py                     |   1 +
 17 files changed, 107 insertions(+), 2 deletions(-)
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.10-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.11-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.12-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.13-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.14-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.15-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.8-compact.zip
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.10-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.11-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.12-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.13-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.14-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.15-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.8-compact.json
 create mode 100644 tests/ast-parsing/user_defined_value_type/using-for-0.8.8.sol

diff --git a/slither/visitors/slithir/expression_to_slithir.py b/slither/visitors/slithir/expression_to_slithir.py
index 3c4595b92..66aa43ee6 100644
--- a/slither/visitors/slithir/expression_to_slithir.py
+++ b/slither/visitors/slithir/expression_to_slithir.py
@@ -282,10 +282,15 @@ class ExpressionToSlithIR(ExpressionVisitor):
             and expression_called.member_name in ["wrap", "unwrap"]
             and len(args) == 1
         ):
+            # wrap: underlying_type -> alias
+            # unwrap: alias -> underlying_type
+            dest_type = (
+                called if expression_called.member_name == "wrap" else called.underlying_type
+            )
             val = TemporaryVariable(self._node)
-            var = TypeConversion(val, args[0], called)
+            var = TypeConversion(val, args[0], dest_type)
             var.set_expression(expression)
-            val.set_type(called)
+            val.set_type(dest_type)
             self._result.append(var)
             set_val(expression, val)
 
diff --git a/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.10-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.10-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..2dedfd0a66c31fed984fda23bfe51fc62c5c0a4b
GIT binary patch
literal 3526
zcma)<Wm^-B0)|JA4(SGwkQ9(^R6xY(kQfaznt_`%(kUf1x;F*c=oCi2fQ%Lp1W758
zRvO0fJ>SoDo#*~=e|i4E{mhVrR1-i9paZnP#Y`K6g`!w#0RTo*06+u)0QewWVa}3H
zUT{enDW$(4ygY27{@z~j*S7ZXmoBcpP$@Tr7mSjW3}6iagaH8RadFOaS8}gPzKk}h
z(&qQUT<>)9Mkj$eHTY%_IM#cIdi2rgOdGSAAOORweU_~}hF<i#R-}CNHg`c^xZVRB
z5elatwXP+ot67;1rxQWz)`&(mPldK-&S)UK>bqhpHZtyG`@Rcpo`kZ4J7H0r=w6E4
z?@OKO!OA}HyB3%ZVrL?mQSBlMBVq>lrX0^V^h@3oi|C%%ITyzp9M}5V=8Gi;m@dAe
zr=(UXwbw_S%3iyzv@=I29~6E1lVkJ+9Y%yJ3qci(jqgPODx{yQ4wn?ZuSTs!#hm}_
zKJAgYdVHjMp_^!Bq#A!o13sCj7id>dm&iP>K<vZ=yI+Yz-Yi$Q&a|thT!7h|HD8u8
z#Gtz+Fk#xlI7Lj3h!Sbf_#*qUQ-_kZRX*x-4m~xKD#6FWDt(%3d?lVa#arvoUP;41
zm$v2F(A(G@M5O7k;mFhua*>Jp2|us)Lb3)+6OAxDeE*T;g_mr&4I`Y6lVS^<Qo187
zORN=iZE-~>b8il3@!1U7U8L(6llukz3l$97*j*J_&e4$|`vqnl^(XqnYeUqpBIb7<
z_wadz3g{H}O7e`bUd7kamJS$lB4)RE>XH%;>PjKkXqMzC$VtQYS<$-D>1?ibFKs+1
zL(Y*JWAEW)(p#CR+3!-8hN^sVn`Af@5;(zd(;nW28qL+UQ=V`*Zj;6Mxry#7rzyJ>
z2y%zaODU))`g^^%=baMwMt1M|H`USmO?Zrqm_nul!fmI&?t`s*B3MWv=V;nHk5lyr
z<6KLCV$$D@y^PH*+NIa?E66N6Ni!PF#+Th{;%E92#VFSYIntZZZWpQ_j<H=s87Zx5
z_6D^m_A`ibk0?h^KU=#l<IV^E9A}z5CSQ0@<}#oY@hsrjP#v|MxxsdGB?a5|avp|T
zz(;MApc3y1UHJR7kb}+^8Ck!4du^`%qH$|WwV+<BEz{-5qV;DtAd2a-@EBeCC_1)V
z6!8fDggL`HOHdG)TR`R$?fa2S{AL}MXyMM&DtpHeV?}(3?#5S=bXmScvqQ(4Y-?7|
zxD0ave6SP9)|{v7Zm3rrM!<)Y`o0;ZH+$y1^hp-2`D-7~a2nSU1F_q>!zBS#ypknm
zhMZWkP~}fq!)|B>OiMXa)s5MAS+9}%Y1>aPX_`_Yi`MYLBBddq=A#qT`FjJ-F+|Er
zrZ&Az0q<4jtLp4d|F>1n!+}!Ux?j;}Ws+Lyudxo;&+eSommZLf**)oyQ?&GKkx-bd
zi1@a{M@TBA^>4IGvxseTCaT#Rf=mr`o%>8*+xRsDdL3==>A|vc5b;lv%D1FLA9A}a
zYwRU{B1nu3<D~sg&a{EyCi`n1#SKXau4)`xMW?^x3yY)hjDMWT&hcSMaWq-+%0*q@
z@s;|w16%J{Y95ar3{w~nA-Nf_iu}s3$_~*b&(#u9J+-9g>58sZ^lHpQz;u7CrZ#k4
zk<y(Ks`M*HR?6?p)q39#*64ihR5ebO74KUGO%0sRJf5Sm{ca+(F7Y5xbV#2*Y%_tM
zKY^kHGpJtn=di^=+=&g3&KH4&2BD0Zu=0x3HPgRVzrFQ8?!SIGZeH~C$Y2#TwqURq
zw#Vz!Ty{f2VueYg?sx+J!)AsQ<79f>wf3``ObyoK^-iXkipR|uGJkDyR@Sfm01oRE
z6)w!amvj-5Y`_>4rE**NaDYYbM}*6zcpQ=MNzDYQ=mIEpVZb&2%Cx@rw#Y*R+il$@
zs6)5gizyX9ePle|kc)fK>P1+~9;_y%6tkG`s5W=h*g@Pp5U|R%KDRBW$dnr1ko=5#
z_Ncd@K`lQF$WG@{JH4|0d3(5Y;ODTAmmA!d$>%zG0hZ-~l(n^?FIiab3%SN4L%Ak{
zI49SK_?F%{f4HTi;}VCI>pr*RI?niq<f^f%NeCJ$Xl8pjP`9_VhF|g)FMmBd%kaq*
zJ{BPH{zt;<5M%)C*H>2>DB61{J6tyHhOTQNN!~CU`mrl#o|?fX_EOOrcneIfen*dr
zyYDw98qC&npr|HyOW}9E>t4{PbHuPkzyEKbrM~jF6m$P2x4ocYQioiRl;=+}sp;Y_
z4bAwLju;wrgbVKu_nGvLwrN5w++$_30$+5fm^Cypz}GhwE~UgS_KpnRvSuG{c!aO4
z(5E4f$XTq)0sXay8#m%(u!K-l<2G#tcvBXB5@F{|lwOLIIYa01cT_yd3KeEi4zQ!0
z|HN(BDcllNsn=A)oi3#Tb~WR(HVXTEvqsS-DXf1GT(wRF<`!Ybeb^N!#fx4l@rg;B
zGuOwQ9N~yAw7uQ+%y#X)SsLrT{s}au`YMhp@CdP`iB0<w$Z=yAO@mLWj^vRiL%iG>
z?@(*`%t9qTohNL;m~r4sO#DG8Y9Er^;J;kPsMIR)2-Cy%-AhS(Y&fDxpF7(qsXGe&
zSX6aL@F`8-3dLtiv^fvPr<BHh^@ZXcx8vIt1fGdXN|D)VPWdp;k=ErT3miVDg@5^J
z4zh73BL{W&Q2i3g&c7kV6@OG`DdDOVY*J89B`gm;EHtkS<ik!RouZl>tKkeBlW_ss
zFSpNwn9Zp+yE7zrXQYZ+S1sM~s+~&ESWznIY5Tn)5;gvjOR_`92dR1^q|eGx>B7Av
z3(Vz3%$)8DID`7q4h?g!%1?v2y$1)ihwlRRYr6JkNI}HHnQDzGoh64r*<T;C(hOtT
z=*IKemA2qf=ziU+%;5RQT-wv8p0SmBYH3wC2x;+IX3&}rv7RhQ8A4q?QK{?O{~|aK
zrV1G$ZPiw38k-9-vd8@~WwGAw;0ir4H{iL*n`V&BLD~&bl0FI>71Yt1l13O4R{C=#
z*y?`?6v+OJ%=k1<Z|~=J>Ux2@>XiQhvtkJJ;2<O#PqtC)7%7sssd~XN-1^zEnR|qq
z_A(y|4;7-66Ap)Qw&KTngi$V%gKuK0RF9+yw#}@Y8?F`axRtNYBV1I_yl$k4#9R5?
zrqYsB#gG9wVLIs|(j5D$t@E+J(Z~hpxOPEqG_>8d3T`Y9?w2*nuRz_)TI|vWnz&pR
zSHCdY!?$F!u{kJ3oP5xe@sL4`Bv#ljZC1T<wc!WeVjAM(r!!8h5O7MQlyEY_$qLB?
zojJXmG%E$<$o#bUR;|!ar@>0x|Ad16=Ho-24GZzC@<+`d$Zk!P6@f}5awH0`+o{UT
z9ThTS^A3cAt*%&dEzRpj&ff8MN>9#j3Q4j)Y?jiEuJLmF`Z=971+VrISffdKg#}Um
zJ`!5E<4JX73Gx%)g@(M*Sj0-bUli1KaCRN4uOt$B+Jkr-K#Te411lkUsBX>u0{C`X
zX;LR~$sgLGxTKQp2^&da+#PtmZE)|F3)c#;L77Q0&VJRiQOhD<i}>Anp~$K5wc1eb
zi0r1O*qf1F4{nWurEmlG`4@I;yWjS7K<$VA0~)u3pP2;|&bZgt?V{sX(FUya<%JLX
zv=y;tU^+{APbzjt-U7{-W#Y4zRPo6E*rqpu#g?mdENQ3&ty+DGb?f$I1<qS@I%4Ga
zXN3mlvAV>SKkD(nWf@9YA3*7V1WsL~%fYzq$hESv4liZ>N&45TI)klJyDo!?6~H>^
zCFcva`{fxnHgs0BzLPS^c9waV!q=eA!^*^xdMW<|LFs*V$P;>j-ZmNbvMm$7ld&9L
zO`7SPuwQR)`DB%{Kk`@DdQKE*DPB!Tp;Ele?D_Vn-LF7xN>6<~ng%s`@mf84Y9{ih
zn?6YgR<A8D2Q8e33n4#nAH<`wP`z5%kW=^;qul+$#MwekX2B%or0S8heve)|4v3@}
zrnp_r{hwxu6gciQf!wL~ytvuXz7E&KEI>uZYVz~D-0|U_q2c_?JC#|M!>P6DN0uap
z2R6)L1>R4^L}QaFfriMjUy^@t_Eqk{arcef;M?|RIr+r?1p3n*pD0C(M)of-IlW{H
zJ`#a$Q!s1yl!yT6PoS!zZ6fD~ECh$&7kjI=ip9ICG^R$}t+_|lxL$jcKH=hVTd`WK
z`dbp|_9@9TjL+Vb?$&QuAe7U+-b00!MZ-EWF1_{2be;Zp6N}K)=^VJTU%g_3Rw3`q
zjc<0%S6=vRFxU|3Iu~y14{droe|Ip$|6IAWB=b9+4%zK}Ou|(``q9q&Cv^qSX9Q_u
zuhJTUA#w+otnO2CJn<$;J;`W_k9QWRZ1kx=YC8kP85C8K${!Iz1NGkr0t>sEp9i}G
zhaGm5$$9TNH313FD$h;W8)85MG`qi?gvuN<Hr!=M_xt1>FMF!kq+(QZ;YJ8-wn1I(
z`-B@@Y4KVyC^|@xX|i%*R*>)qx_<$gK%QNwJGeS;`w?_l7<u}rHi+&*Q}l>igmX(v
z<~>WltBOUnapOeDtVazdiq1dPIM(82=)}oqL0=jS_M{}3$kb$0Rd2eEb1j}35)o^X
k{O`E>+gJZx7}3A_KU3?OAsP9<ccQ<T{I%uZS_1(71L~chdH?_b

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.11-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.11-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..373ed86500a1d8937736b59509c2c65365859360
GIT binary patch
literal 3522
zcma)<XFD5=0)}Ic*hFn=@4dHLRjc-lS!%DS+G_6+iW=1vF-q+kuZke(5UWAam^CUk
z)hgojJ>SoDo#*~=e|i4E{m__*SPMW1paJxSiP)AjXooRS0|4~40Duqx0C)oN4SFo$
z9ULYhEvft$NN|9wS7b<VSh%Zun5U0#gqNfrBshqIm;?X@0G<H=8W|an<*wyIU(Zf<
zt5H{u2KfpMa;4^4vT1TJKn9p)P7G;N;l(a?3o!t?&?C@p1>FdIOFLOUb&uoaXriH>
zix8RjX1nj}+Uu{<+uj$v;J&1H>Vb;=J#4AuVJ+X3pl_2i-n>8Zp{@{D@$kp5h!M!-
z%bi`_oBP-_YFW@5G;tZLj(7ipG0;C`oni6T{kRWfQ=~|)P6_T79e*GW6%Dsm-r{nx
z-HByf$<2R;9C~_zC5XonFP4~{FQQrTayj6vvFTejc#h}w?AiCwy<X8m_w1Ihad86O
z$g_lC3jpKfRCGSesrzW|sJ?}W{n`)@8)Aajq&<zIY>X(5^WpDXBS*r63BqzZMfRif
z1U0*^?UrB!A0YHYdnWP-1d?KMyJeEd!=La6gpSu*&g^@?<+UC=Qdm8Aon||wnJ&-y
zbO~*P4Zk5c0LB>nNRr4NQmcy{DfXFHVX~$1@d#mPjxGh?e}5Bca%Vq0d0S4D&QqD2
zd4iP&E0XA2FqJJiYf5?e$WoaI=y~4Y5-at-+9a3=HJ-x6C99wYC3+mY%3X%3YQML(
zMcUNwThU7(AS;mkk;?HYP6gTT?*Bt7cVd3yV0&*cg_Fak5D~%i)8_0OEaFv_O|^OS
zP9CGw7Wo?g+|!lQUqH0oncE1ai_z`*X`bA4DrQ`0Wq_9Bbj;<|xY?BU+FJiZK_T*U
zmE{tINPu<1tw#i@yp%$t8bnI{tfm7(N+#}OOZ7^+7ji&{9JxWGT7zo@juS3w%MIw3
z2LnYE&Bub$y>yN`?!+1rlX}TKkdq|XwwQmxm!wD|*|Gg787MZa<A__JdjqTk({Q_X
z_8~k^MoaAZ^`C|a7?!DGKNh|isnxHNXP@cG{d3T*aH)~F@tfS#5kw*?yT+*v)^6H}
zmu<qhuj{U-B^^9jQw7ph!EoABO}bu~cUaLFX#5pu1atTJCM_6FQIcI9FX0hIkF>}v
z+Pn~N*sd2x7!x8+SbfvUH!`B4pZMoyZ05Y{RbFf1f?ywLdOn~BVBataZtajvkEW~r
zD)O7nhuv%#1Y#mptUP)aI-9>88ha4a#(+42#p-ln#5QS%D6O1lZ9i`s%);+<?RQf&
z7CqdY)cm2sPm?8QhtNRw;9;B&7zE4Vi(#rJ+Z$OK%Whx`81!qm6djXQ%{cDdjAa!*
zS2H(LXw*xwDiN^^p<Sj9#BPkWmGi<)yPgZ{voP$u4m`XC6E4i>w0;&^KlDGn6G<e)
zjC)8vZ$$lguU1Wz{?QZDUKq(!#U2;3<1aA!=b82UJ?EmJWxX8CtCT)dE=*NhTl!$8
zwBeBs9?#$I!gq$}rt`M+BpjwvzA!Yr8QO6wBkYXhHa}*0rBf&4_AXC<L&srzIF;x7
zGK&CqG0((I%~-DJF)J68O6a)SsN-aBB!{cSa?&~@fBfAc?jELiIFI|$@`YJisUToz
z09BfW^UJEY`_oioziu}4b~=F}%QW%SSj2#vd~u=$uk;Q&7CrtWj+?f+OtTn6=a;9h
z1k+joe67Py<t1_G^$f=Fvn$2klKW5h*+b9_kJ#>KxZfj!RC6C><eFlT1{|E~G9s6o
zT)W|Gdp5^TP8*jfWSjnF9#GzdM1}HxbeC=cVo97q;AXCs7jX|&cg?FsO}MAgupn3=
ztNJGvJvSTzN|%98kt1K28cp|Ogey*$#Og_G9vIY$81Sbrb~IHWq6!w73cB>2-4r{h
zc{d;~20N{oKF8=-UP3FroiARh6F(RshbE1T?gEe^=J)I;h?!Uj{t<S){Va&`Jvgcg
zpr_eLt0@0dD%S8VQ@n9}kz+|*&iq<l^N-qmP6_^a5UQcl>)=Bd#@{0^-9i1!j2{gt
z-F?<f9o1LJaDv?f6zQhmu5p7AWWJfB%rb3GDlv@ZE`FZJl^xk`K~DzdbB`rOHpsbd
zBb0EpEk6=H>|!Rga)q%x(e-FJlHrPZ4yrs*MwmPrX$kD;uaeR;5#=~!ssx#5RiQW$
zCPKE}To7BpsK2hQEo!H?E2`=~Y4r=KN%=@$@sy;Tjk43Jk(z7h?OK`U@lFs!R9M94
z)z`R7E-dszoG+}GP1@B$N*yZawqTz4T&uE0Nbajm_Ew2w8Ma*SLb*K`b?3=Hb%jae
z@^i{+eB2j6y;;i0H$)K)0v7cxfxFDKK8nLusq@`nHBZiO9tsqO?O>vA9WmM{;3a&S
z_J^_dhf->WP&F_(2sQZ0w_lWle@)MbY$qA;>yqsCsJBStwBKMi++*Q$L~FG<JV3TN
zPB-v6d4mufB_2Jb2^0{S_|;@CW-ELsfFCCNFy-f=H{+YrSo1Bbf~$C(A$6|WTKkN>
zQ#k<L@@j@x9-Vt5ZL}L%qjzT@uJbHtQvYXwDcd3XP<sRtDrAEj(Rb9`&6)yk^1yTi
z8EGdwYm=&=-5v$5SJOYq7#@XA=e}8+o$RydnzJs(GdrAXY`;jF^ko$?pDmV+e?EtZ
zYKN&S^uzJC&llxR|MWV6=n&H5&g1KP>6P~iLcE_c#dMF??kp;=7wab)-6@yG_q{dr
zR^jqkI-Y1D3XoK(Bv^ss#evm{>I;*Ao?~oBkw7cvO>HdZaT7$^c3#AUEm?GEljbEe
zmTqf{N4@Pv5XH~rLEKP-4&0B*G%r}ya^ffQTaKrrS2I=-A<-vkBf0CRO}#3Zwah;|
zIfm|X;ctCtP`45LmU@9|XJLlI!j~*ISU`+owsP+)+C}VW25hrmftCz{NH!5gO+~L<
zz;Xl2%|A$6bNlxQ<KjB(qg=JBWS6KbOByY^3JH`E|JZ}?_i=fpzxZQ9qTW>2OWA^+
z>wL6qaV!kpX@xQj4%tmZGOXC8?5pz4brb8!KM7v%0YAaYoQzI8S-qEEx2{VW#<wz^
z02GmWPv$J-<)8`T_3l~;KyO@vTKE+2^mzoyss?i!0N+{_s0^}Q8r4b#wwOY{-hG1|
z!-icQo5(PwNhxzmT<+%yGv^W4Qy=G+#g=O+I<L$Md>ydn8z8MP^0l~r^n^~-&&1w(
zo3oVu?9(B@zf=}Y&+FGKx2r0gr-5MojW3W0nQMR2!Zd4D#*L2MTzl*1KcUxF7f!9P
zRs-SGLj4Y(;ptz&*Q($!Kcid*s_F~9bs2K6wm!$NHjt(t<p&<jD+oK3CRohCmP}=z
zPIdW=H!`w9<Y_!eUU%iy0gF|At36$sd8-^wnlo#gT5Yo>Dx1}>GwSl$06kPct-^X=
zzEUGUZSuZSD>x-fgb`>n5v<i!oPSW_nuoA{P**axXLT@+%i@54cILy~6`1R*bdIX-
z?YoWO96Y4>uARYY?5+gcU7BMt>LheX>U~=lM>MmsuRWniM8)B)!#vC~cE4dB{HHLh
zd^oFCV8f>%a~us9>bA4iEnKi)vCB|!)qhs=sW6(H$hJiCcqK~RY4%82YP<Z?=R$ng
zI6T_tqfPo<IiYXZi>_oxg{HW-9LAtqvWgx8Z2n#N`-nkVC?$K!-tjN|d+UXxd_6rG
zZULyI#>15NpkI>>S#yDh(DUBzUDrKZtv&`44>K%bsLDqhxKI^MQYt3qyWwp~Biog=
zpG$!DD11-Y5aHHVvFEg}(Wnb9XJb1PIT%ThIS_IDc&#Hg$W`O)#<|3nv!X2Tth(mI
zG3_3l^HeS2CW+h!H!3)Pus3wuX;KdF%PdjwFjE0WLPxubHso8fk@V#LRta)C=ad6c
zbtPMAt89;hFGmwnoA))%cBzyLD6L0&Fxv&bvz|plUd7DL;(rWjxxb;EXr9(gc{v$3
zUxt|mosD*TcS|haNM7e$1u<QLaE1f#C@60$w%h_)Uw#=W$)_L=4To`P`?`s>HcEDC
zj7F*z-U<ejd|A6?Pb>0mJra4xTqSz>k7c-nb>m3@Ln2NP&+kB=-?&Rd{kpMp=}4OR
z<^F!hrA!MxBzH#1n`(2R)r~nJ1ENsDt?iC`DM>)e)S!COfAwU9?;Q=YMRQ5Ke4Z#t
zv4VFO1M_yf9iDq`faJ-se{RH5dQUB&NP@*kQ0H6m;i;msvC+X&+hu0lGh?rwkn|d%
z>3PlIeZc((5(K3wgQV#*m8+;|#d*W4b0U-{63mKY_ieTE?n;EaSe+^j!#=#E<U2@~
zpkm<XJYfEevW)R7$}n;wl`jfc`Lj3?Zw+-_XA}n_^uhW!)sMr4vq2i=Ufr|7dyWd@
zh5y*?3V(#1-Orr6M)^U}K)+||Q=OFGpE2!T-1h(e8WL%dw|XapQ9>DvVYpCnd+Dxt
z6I&Ql(C2`jM6DlS7V{N|atjQOwT#ZPb3Qq%UIdc95X^QGPQ`J&Oz{K1{wdvw)IGZR
zI5)LcG3;#XZ=Zlbmz4#<K~<cphLMUq>CPt-g63q8+d%khy-LhOV*)}gqW>LMf7|N6
ddq(iD{?E*MXiP%-@15W;Hh*pRx6}ZD{{Xf`s$l>C

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.12-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.12-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..573f4efc0c8f049284aecb80e7ad10cc286f81e3
GIT binary patch
literal 3526
zcma)<_dgVl<Hrw&td5Mx<+7c9_D+!*$==)58Fw~il$}uKW$%P5d!0jx9P%dfjN>gM
zo5K+@zJ0#Ge;$v|>-od;m)Ae=G%=(C-UUzst^?Zrp_b^OOdJOj0Kj4i00;vBfS>>b
z@`(f-<u4&Esq~isl(&;ds4vPt(8<N$?I|MIL(($<g`@*g0~`Q=mjHnJt5;8C&t?5e
z#)ex|nex9O5rUt2;!;d+X+Q`8ogA=zT~OTnEJrIs7=YPtk9|Flx##_=W{h0iCb-~R
zl&-d;FfDw!9#K+$J}vzVe$3~9jc!)+QNXp{io51tLsU%r6!WUOWA7<bp188B*X4p3
z1?;Wt;h+1H1DJ27sck4@cA<(+wvLw@V-Zbn@4_DtzabePFmHAFeQ=Wzv!WFi$8x>l
z{JuS5VePz8^?b*9dqYFl`Utnq4Zb)Ya5zrqIrA&g+Z9s-%TvrI#B1M1{a9-zyaui>
z4|Ka`#QLv@g$%>-ldU|dK%EwW`auBWPQW^q4U=K9j(gj!!vUw{^@|kFjOK#&Ghpz)
zS=*t`y9q;Xc(s4y-Yqg>Sw4J~coVCUbvfcv#kf#P+1EbVMvj|LQ$iJy+(6;l++^Xk
zZWUSZu50LMLY=U$;kV+%%{0Pd7?p?8$<L3Tr-)=5>lwOAr5h=1LAJIaYi9}sQl(8!
zDBHUgVj4f6NarMth<W^vb!ZYsFJWIK%{V^s;~O$>x#iUYErUnEY2Y=VeDQ=$vUjxO
zSHzc?hKTJK0gIK#UR(+&G*-CLLV7ueeeCSbtIly{QQ)D%iY_?EYW17PX!g`ILEljr
z$go$qk`*H`%dCa;_djBDjj4}Duwzy-kTK`5VOCcuXCaMe(^Z~heKkZQs1!p>dx2i~
z8UFx)K>kC+3z^$d2HkTruV|A&T}(Sjk#A~rITPqdy6#rxOJYfJYj3D)k*_5)*&JHW
zx)`IbL%iaWMQ&n0KKe8olW#>l{5{ZB+g%IQCH1h?VpxAH?thPq#gThm@5zWM!Cw24
zH`2;O#LS{y#ri34#P18^-@E@-V!dU!G+}#@-ytK<XCx_<puu&n*4bg~k%r$vYw%Ha
z4#m;Tmm0L)&KpOzYYbY~#LlZcjdF~Bk$ZFT7j3NYT`n!>^0|jqYaz-iaNT0IjO5X2
z(`aygOlYN?&kue))uGIKazlP)e+rM8=^TzhwSi#{4(4`b*Jm}Nww$FeANArT4fyHI
zSc%*=g`+3(LHGPp8r}^{d}-vAX#KUb*LhvKcYYYcGBlof_tGkq%V`ZV6gZ&CW)DM`
zw>y=!%djZKJkMU8U+Ed%JZ{e?)^k{3Y}C1@M<#q*N;q@^%>C?sQQ71@G0BR(KDaPz
z7anSHjBLo`Xe#*1SjlUv`7%a}-&IoqweYCiT<Ut`mru#eFaYU}5A-&mU)myf9`sh*
z*d`*Z(L?S5w}qv8VQhcjUAQlzgj>v9eomjsbzrqT4Rb@bSJtH0Ykz;P0e{3`&8-u?
z$(>dxAmQWMOMH6Y5Ipq4{ikgk#6RRvPh_hmxf4$Dqf;f}A-~?)D%9Hln)^`Jb0MVF
zGoW|Z)px_&`UsktcsV)LL{;BKl;?ror6kHxC;A7wYw1O*O!eKT0{x(|TKS6egeCKX
z77MCCwM-To#0V9a*@oHp3}J+h)YmpheyH8KRzS>*j0;Ye-44&di3Lh$SE7s?EjzAj
zH;k#!Nac1#1PT(fKNKVn?`cu(K}k`!UC1@cgA;|#RbBA)xIScue;({BcS=)4G}b<H
zZfS%VzY-E;z#ZupOFJ_xeKDOMZuUFNPg$8pn2ss2RSTPOXGg(as3HvJS@k{usUu;Z
z3vePPS3b6J)6mw*;#LiWm=JexGGi-PoX2bq)c)ZC?KJgI44CcQ=+#{0Wj#2w+KE`F
z7yVTAb9mAFEVEj%SEaa2U-amTZ^%aAskJgyWbWat4&h3%N6yW0z?_GP`(ijo{`ZqE
z`t_Sr&6nEtO^PO<8FkN!ruO#jpwUtt13LkPc^-`8V2L61HdI~E#3fZqRRDcGP4LD=
z#*=FwDD?%GvVnJeZY>31_MRxO87m*Epc93-%9t(XEN}raA7T=en!Xp?+TfQW6l7nE
zRf#%fD;YF&EZBGXHZwH`DekwGm<Oe7!Rg+WT4lBbq%=nTI?0L+3pumTSleY#38>2-
zu|y~9-&lNpDj?1ioi2DU60@<w>w6wO*<hPlK;nHgaeN$P_PAQG3rJt9ee#YC#w$Mz
z5?3#xnfH>Z=vOaspJwKGEi=f!L=qy3=yHjpUB*4krJSi*0*iqS*fDTh<x6c%->DCx
zth33|Dk^D7v^g)FQX_jWrvpm{lPs!}MSFBtTnMs3k07U%z?$0;`)_qWb7=EBDRu|u
zIc&*dlPzoYB!j>InNmcXceqqJHiv!xNz!PW|L$l|>lFEpB+@keN>xh#L~i|lx-AE&
z>9v8p>&;BQj}p1JuKMcOW^`oS&9Rp-g&f|hhx)7|?UcpumqpL;LEERX?1}i+-sI)S
zn8|3BB7-bBs{^MJAM$j4!R}hxGj(OO4EZOaJUqNvRO$v_u>ZlQX+^niX|5uKR0RaK
z{xegYy)gL2c)TZp8*U7SFVB4G-#@&H0(uMVo~@SfCFDzekC>PEwO}8yU@0o9)yhaO
zb67fQ?Hld5z5ipFtLW%SgXqRPfjAg-x6Zh*WFqp{ef?!)7>G&!RO(J3HmyYacQ|{U
zcPEX|6>RwgeqG6wVk>sNVQwqfXfji}vp=s*u&+9kH0ZXg5OWj`G1S62hx;$`Svhh;
zwrO43Ij5T5tOmJ_&#mNDKFSK^iQ=?h-8)#wIuQwDP5Nwv<KC>Wy}-D%o_O#rYn2{B
zuT*JbiSm6^8S4F&WqElCc+0}9q|0Y&TMugGAaG*|cN}&w^dE;$!3r%_Q1vYZzTun`
zSs7I0-rD4b!0#8iC``IuQjW0p&Q`ypes-Lk^NihT8zEU!F@9YwFaW~z6{*Sq@e77n
zM48^wj3896V_&X@;hG%{8#VX;5OE<FTHe)H-hq~?1A{5!q7g=vraFq<PYI!d?$8HY
zz9}5_BKjP7hEiU{hoz$5419O=us_03FUN9zTV`By55+pwxg94p<SsrkyXWK3_AgqR
zZplPUzNdLLzeBY3_B^j+DtlOGOa;}dqD5<RKXW1uKCw)_P7%dxJ*38e_YZvBuw@|A
zYl>B>5tL?`3Zh<$#0=`dQ%M!U2~lSUu9OO4W6WP#TkMQ6X4%K_UsD7x_TH$p83SsZ
zJqC}$2g}72c~&)IC940V<%HDcA|f5KzQcOn;>+Hfx#l<lzXqP>mJo`QNaoH9X^C2y
z;{K4AnAh39`qZ0mX%oF<>&N~W|5U2@R_gHYcw=BW@gQ)a57a$gxNz{y5-Jf!7N8$`
z=q=78aI|K{-h)<&A8+B8$4&2+5uMWx>0P>+>&)E4RvIRQ4T5!Bx2HVAb^V1)9x3@b
zOmtd-4?8QxYURA}AE9k*463F2^wSz~yiQ>7=X;LEM2)hfpr&HMfple2Dd0}PWw)3j
zgM6QgvL%3O%dS|Z_~)EZmj=rqh{n!b30Q2@!C5HxiQQ}Y7^@NXJN(OHY)Q4X%F3i2
zG@jx!B*2*1#_IYB>gf_(ORsM2%wYdDU~x`B_pt7H-KyzG;bxHpxBc#e&+|rXo#93|
z#8U{zV!l&wQX5`kyV=ebOD9ZT+9()J98jC4Z%3xl9t24;UeZ+#NK2Jpm0sChvyB(@
zzT)3}zeIDumql?-Z$=zlfeov9K>!Y$Bk0H}_HdR1*y+tXXFSu{7!!!XTgYYXlv?i{
zf%=3J&c<8HYebkX%U+`<+5e=|ir~ioioffJne0ete24FnxwvG|<G~1^wBnAdA#;Ww
zQvIUk=44_qUoaip#Fe}xy_RE9_IS&sQ7pWX<BPE~02#z4c0#5cc6VWIszqIC6+N#C
zZTQfH)ZCy{MoGEolSwN9#$4|d{DvU-*4-JR{e-|pLpr>Srp)2V;k&Lu2@;zhbPe=X
z@*-ULoq$bu&n(_yT8XB#^0c$-x}djtGw0r7A{Z8pIPU<kYMc+R7Fn4rtlI5*;M5pa
zy>PRCe72$a()N_DU@!oCddl=r)>|~ZnsR7|R@_T=v?K__ZCC1(mKrqT(bvr(`qJ*_
z0I-QHPji@J;lobt)hGx^iN7!Fp-MUDJX==-EL?ONe9f{1qUgUs*@A7*lj*{jh0L68
zOEs8SOL-WxEyB0&*2q!PJ<lzC%|GX=7ClLae-a9+kO|s&(<hcN47L;fFg_^NUh!>;
zYvg18Oi)IQtiKpYAxKi!;=@(tghu;v8R^De@pf<J+vJuja=&4SS3&y5RRX$Vvw_|A
z*{1QYQZ^`Cz20Zgu~mNX2<w-uIKueau1(Rw;?s2dGZhi6H>a)>AcU%N>7hZrK@+cg
zG3oPm24i`4*?q1&C0Yp$H;$>Ox*{<B!uXhd6KqVOKOd_{4VBdLW%sJrk$LUl(MP$M
zfYuc{qT!f6B#mwoh69mO2oVsF#OJ{%go9<(m&;V(htl=dnSXqO9$i2H?k0v5ly|BA
jdtCkPtN-6iivQ?;Of3^bYMTGtDgI*d*LHtv4FLE*7(=T=

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.13-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.13-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..798230e9c296528433abcfbe9c6d2fdf94f2fb05
GIT binary patch
literal 3523
zcma)<XFD4V!-hj+6}4xS(z-SFDy6YkjkZ>BBX(>;%o-J96MN61wQE*Up++gvqC#y^
zgxXtczkS~C&v880`QiL>{ee?o_ZCnIKnl16=s<!^Lif2@m}mh2DH8xd0002^`M7vG
zi8vyVBI2Tt|Kfviw}uCLA&|b-wn%$t7k{{@s}I7H3P=Wk0RSifKp{5PN$OI{yJURi
z!xP$qeoq(vPux)$Lrz7WDW6VOi32UVsJEF`rc=QHdhb1!U-|TXZ;8ri>8MSv!v1hA
zbt?f1$CXBxk~f#r;%knle6aS27Kn#TM=NI(C9-Z_HuW7kwi>(VOq(w(XXkdkC`2NW
zEOm6DIyqF+Z<x}C7>vJD-pPzbZH$M$PgZi&nD6(b(V*Yz@~*I#6f&g{5N_v4V#jSy
zK+SA6s)BZGwl@^D%uYIffw-<thhV2^+~?jUPj`hNT#ra*W1`jXBF5S}>ID8Yy;wg1
zFEixXIgj?)G{y^5y!K`uuq9k4J&V_VHbLJ#$twTqBGdkGXUNs{GNt5);j?p~KOu8F
z&}KL0tNj-UAu4-`rk$apS0pJ?G4p!Vwu)x4lyu<ZWZObL<3Kg|@oV^SK34IuIC4i;
zqQzHB{s7gB24KX~UF}j#iK>#H%zOwpflRdQ`tUW?oVm|hVbOQ2is=pX)_TZKABEz#
z3jgE}n#Wk@D3`S8;(KX<2B;~TMX~46akWXuyl+fy7AdIVK4-p^9tFZNo5$`ER=qCW
z=%&!^FrTH$Q#TG7L{_^%GgN#fmu37sDYmmt&4MoSSz_Z)GL5c}MFH^D7B6~05-LhR
z3*TNP1;C+yH*`Bvac$nn>b*eN&7)@m;xkGKoX12D@1OKtRt5cESwWr|ymVZB_-^C1
z6S-)_A_e*Eb-^L+v;!@7wuQ|-86rPkZ;_|#IYMt#0KAvkZ{Bz-Rp{HqP49GqDK6Gn
zL4G?clE*h@C90YwC$B!fWk`XN<)$IEhVpIVZCjUzqN5c381qq)ZJioyT)UUG=(3!&
zPAMP9%yCd(_o3@`>F8K=yn(QJi6V>zi3~8vPiIvlgUz|mon+aG-U8zM<y<PmBOSD@
zb%rLNN$!K!A}<6+M8MRzGnW)b%xgY;mDhHJ1oN2f%T;}Xcwz&G`j=VKGLT32mWpU{
zWU*Lo#n>*%Z?fA~;>4(&JHO|hm<Ys+;#ZY@5>!tP&cU|iT<Syt+Mklxi~*8m(ML&M
zvKx?pl_p~f7koo5glf9t4NUC&zWYzc$bvgSwT^Q84J9(=0cRuv_@%7(gF8GjUYqav
zC9`Hj<WA47dhhbBbwVDb@2O2-1^KV;Dz&XOI%md?R_Y$7be5+XYB>T0O(vTtNqWkn
z6~!dNGYYaUtpmpWTML!Li@)tczBfBD^eGC(F}8W!%Q|+lsbeZ)Eq@>%U-5k#o=w5D
zAHEQ*JlS^T|5I1e1k_VFA14hux(lyyK7(o6GR<7#ww^WtcM*2OmUhRdX?oua++JwZ
zh56jZ`q*!?MT=y9_%_=oJDbdXv7^h?B?0OGZI9YJY1Ub<-@CB#KL;Gc{~^L>V)$|*
z{7FlH++hlLQ&4l5iBG(=@O11}GF-m)*2bYPJ=JJ9nUC5X!YCiH=Sb~bi>ZY6uC=J|
zW8+gaK@Da5g&N#WWA)^{5dXm@g^uBNu-SbMRU;lM6%|sS1RdpUjC)hIh{`68QzrvU
z|0N}MQZ!X>PQXH7n-|K?MyV!83cM^dY_1rd+1et*+cdFL(SUvpGsB%18~FPYX+~zh
z)LB(^w*`|3^0z_7x&rr470iX-YkIzK6%Mfbw32t$L?PrR-d|6tRI$*hkvQ&)DM%;v
zoo&v^HWZbMP?~&UWuYDwhb5)HZs80J4#KZLcn(AmYVN3biAZX|lP3Ii9EV{mC$1wH
z!%W0S0R{QEeBq-D(yy(SCYjM><QF>G$Yr%@Hg%~=4WwV(^+*EcwSKzwJf-B*#9P@D
zy0$HGpLXHZJ6wL%=%Aozr^+1IZgH#^Fe>0H?z;hXaaa$1L_zJ_;3C;|{=O>*+2{cu
z_0=&8DXY13Je}7wP~__To9q%b_D8B3{~X1JVj}FDfEHdMG7n@OOJE9wt4)cAWV(0#
zLX)S?`qgCKZYrfZE1E)>%CR)k<bwnh<uXM6-out@b}SUDk-JCZ_oXC*0;Y7jtKzii
zpNJ+`q)a_fHvScUQz~)y_2F|Kvz|3G(PREqRcP>_tdHj#;mIfRiM7@iCjmb|4XVI_
zj>A%EyXwN7cQ{7Fg&r1FOswEWPj^iILOT8YrQ)=&Evwk-P2G?ExHDh!s_DDZ3ev@_
zR1)GzzO9sEDV7n`2_<;|mcpK1Vcm5x2y&IPnlb%U+b2w|UD*aKs&l&IK4S%W&@2g&
zP0;<xy6Qn9UsDZY{T*SxC@TeRa({IPblUp^fjM7_LCwCoGHw?rZi<elS3!*Vs30O$
zfDeUD_jySneaCD<PlZ;OPN)0{4;VHAW=y5AF?)#2<U7>YZMh#9v0chb>>P%kW6E*t
z;li%D`>I~%m{f%8`_(?YM8}kv1yp#rp4aLt&7hA2pFV`fslq6IiP8Q$1HZyHHKJ_;
z!^6N6=Wchi$A*zj;)l#Ox)5<OKfY-Vj<2lnwP9r3kPM%0w#FLQl0PAQVcg&utSBSc
zJ943{&!W=k_Dga0>4aAU^L~74_t52om-(<;Ay$1mK?WcA&{zN5j`X6PI62&d7ya{I
zTm2_N+!A9a8G@!?fRcMzw{pIN>-blgOTu>)J^#ppvWa6!9dlr5K2@>svX}Vmvwz1f
zUeC-zBQu#BWI47hD&KBOu6etKFpc{&5cWS&cKg)cTfu`6uLOrj0xp(($*mu|kCIeZ
z)!hXK9>S(&k(wx8lwi$(mi9F`4+XN^sz|~#ThHh`+>k;;vSVLP7!Ok$_9V_({dgA*
zV_!QTZ&p|UJDpQ;dHB>!t4W5@?=1JWbQE$VYmdL66zl6eG@(x0!pQ|}r1VL)PmAxM
zt4RvBywmhsK3aAQE)5=0HOS)XkqR4Ai8uE#!92z<QWrktVO;%1rxL^6vI+vTA5mg^
zm~t^c)$@x2Z9+7Z?!P&FqBEq?YL!>=*-(!0)=`8*Tq<xRoyGlg7=Eh)7qD!!sCU^D
z)!UmINlg`Hm3YS?9n++@8*<qXtetx&KY<dR!2dRBg$nQD#q6>ITY3#qaw3|EY@tee
ze5Vw=QnydLAN*2syb1U*IZ~tuJN&6Zw>;HbcdS)w8GF?ARvMZdKW608HVWOjy&fAh
z0Q+2|_JSQtw011ooLGBpuk&hCQ1<7FxHC{wXhHYr$am_ZhB%E%yy{GYe4iU&s^jpP
z1*Xv<>scMtPoQNE&YYv%J9~0S3;>w^@x4$p#z_1*T@&#-42(;ePp|r34A)OFP{a|G
zOL@b6ZTqUnBNPP&_uO1s-`v+rtz;*LdVA+Kj>>Cle8^g8eH;+mUvxG`B}ZVebbey=
zL)*{~$H$g*<I#;o;-x;8XFjR;pq=-{OE?K_k7?V+b*<LsLq`e*@e)A?;^^)}b<^<C
zqvmg%#NtM>N|VQu-uF=h+6J>mTBg=V+Mm(=+286m6YB;}xBLp-v<;cf7Ed+D%_<3Y
zU+z=2H?aMB8e3*SGQUgpvEezB^vf0-9%5Le0Cy+ZkxjYe>(2|)O+&w@-2(29(6bdS
zy1^b+pBtR0O{Yny^mdBA;{uqXf!WSO&>V^;Q%)5}u!iEj6ZBJE(~v1MM=;f(|AZi5
zD*Pz<mGhs*Gjp(%P`%q!Z-Bf>@2i9Rb8&5phg<9Y)M63j;9BhE(ESH(fADf(#-jCk
z^F_^ubApAVhWEeWbzRN!Rgsz@;eq|+oB4s96=o4bExgG1uzk7=9=X^@4<$s1Wrqd_
zye`Y&ZzyJl7?p7-6UmgDYJ!Z+E#2-R;pX^83+iv$zt%a)<Coo&jy}NhLOXT#aTkN@
zj$>_z4E3;mgpf2*ug_zi;St&B04=C>hlEMjR!1a1+~cKl*70>cZMlJ#B_Kz1)AEl&
z@kWMK`ePcG3Q~wg#>|Xtv{d?1X|2(XQ3AE9`6ge@$B#Ap#cyazrnQ~88O%)|K0qxV
z*-a~($+KzBrW#DcCf<*y4d8=|HdQ*vrK^4iJG*w%sm<-NKgl{hd-;aF+gS{lD}_!W
z=AJG{z92)U7?Us%Vp2P9&+MT{X!DX;X%e(o4!j`;uq!X-r$H)l9$Gt4sz#0h<FuUU
zhtLEg9lh~#VeHVqbOH<qR||dwKSaY8g|qZI$n+5Z)T^<S?B!ji6Mi~)=PS-%##Q~A
z#<84`c~u>K&HP^5=VH{~SEaO-5EJuyn_B%m%xPl*Q7eV;c1j!oB)}3${KRo}ZR&*^
zm-GLOObn`4${p#CrI754DX19+dYDWb7*TQi{jMwX9T=akN6nLINp6(p-a3&-_&v#G
zK^1(lNdw8GDQ5~w;NfR_dZ47d1DD;D7A+owe;EhmgEwaU#I?)zf*Oeun}RYah`z7A
z*R>GuniUA2*7%+AG?|zPq=Qs>1<qDcerEQqw0D|XW_UmM+ZzI0Ye!#~gjDI)e=n=Q
garOU0k^D#hV`u5>l9B)CPVyJ%Uz`0+H2~oM0Ob?5tN;K2

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.14-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.14-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..db90bfcab2734551019cd1eab69f56c3a191db1c
GIT binary patch
literal 3521
zcma)<Wm^-B0){tm5(A`L6x0DPIBD3Fl5(SwkPhh@j7D-WDFYZNrNE?1+EIdZGejgE
zC5&!RN{;XOey;00_lNt-^9OD{P0A~Z015yDpcyS}tZ^M~&O{FYNE!nGf&c)(&&S2n
z>8>LReOC-B_ZJ_OyR}207YglbZHs>D?BeeLb@f4c(p&)nECGNB06;!A)=BbQ(mVI-
zaQ%JytS(QNJFR@!mj>JlHzs^q*v0oWu3__2txP7K0T{h^*j6(cJMx#6qNK3vyzjaq
zHB_wxsT`N8TypcyC&gAAj|D6nFm(?+WSTy4W2w;<v$9F$QL!b>JI?f(qA)wRKO_;L
z_-o07vxnn-rCkPz1TTe=I90TyXNMC4@Y$|BhzsUlIFUX&9->*u=C*?Y=Xbpoy?8k@
z$j2Y|>ufUEA~w$&nn>bsc5JklpwzzJ{$vNt#nl?`*OQ0m@b*#h6hKxj3{!tB3Xdm;
zm&|e}_#aOc;d811?`>NZpXz)Z=?RxT2*H%SY`8VuBrz+~oxNk+FB}wfh8<FcnppLd
zB@SzEf9dkpr}>`w%>)LwY(c0i-q7Xajbs^(&2E4qXimaO<lP3&Z$f5Fh>bI{nS8zP
z$mv3c#~{>4rj0$3QD-+qt@6$O)x2_BadJHEz?8i>=K?LC?%)*t?79xlJq-w!LaiJC
z=g*p~;e5`5G6yx5xnMbwa9VV`C$G2T87y`8$;r^+@~jRiR`oPXvH#pJ)oQ%UUOuC3
z(?LLvzl=iJ%=w)R<9f58i;aLsYXU5)JNvh;lvdpdLYc{FGWg^)^pV}USNBnV=1>mH
zA|wCuopP_{^ehhx+xM<RLcbSJw;a#u1gTRVCLFd^Fc!m92AE?j$b7ox2~su-11ziU
z`WjWo!$`VjHOILzBcpt!@Lonp#`?k^w3gxF%hFR}!s*$mJ{PtCwET~HGu2oe9b5~%
z-;jj%vZ62#d?U*~MFqS)ot(XaB;M6b%Rf9AJH0qeo6a*LQaa{m@IEnJK~`pH0S?1R
zzlWy!KAHm8T7;OJ+10wsCLZ0?#Y*QbhD0@;2+5Ihr4%5e#16*rZweA~*^+2nr{Wy=
z{=rz)BNml724My>!=zkT?$B!9KclH1W}1XjH*7VHI(%scXrGzP5ZkTNi~2WF^0M8D
zyHpE3^KjG0U^BuQZV6tqVF=NL->7)J)4wVsHbV!>DiluObo(lM$^W#Ij5lRRffifJ
z(k4Gh!n}N-9|_o|(N3aHkGJ-UQsO)2Y7KL0{4V3<4WvVs;c>+S5)s{aNjOzNIrzGZ
zw_$@!)3p1Kxt4yE>0OYBRl8;AO0y{=`-VV?UHeu8GfnLi8^t>X`hwf-1FYRNlf&|a
zfWWc}s96{>h^k24h<lM@3Ai3%=uURzbvYvitYv~VU0aPO!<QA%7j>z%&#iyv>irPQ
zJ<Na`Xp4}=H&=T#*3kh}?`%1_1i`>3MyA1K$u9JFd-njlCOM`GI5uE*BQ<qTauS;s
zYOy|pS8bsA-qizY0kLAv5FS!VbF9bKZX`iC-)p{Bs`v<5#x%a_xBuehU=Yn1neLK(
z+E8(%#z}uqE+qX$0>)3JIJw+7HLKX8x+StWj&(&;;p};abb+t$_H{?1{m~!kVbc%+
z|6oQ?+1t2JpMiUw7hdCPe5a{exOtQ*=T00&J<viY(-_n4K|_0}>X5x4-5WSyiW8mi
z<aW+pk{StJpwRE$)F(33hOyzjhgWz(e^{S0e^R>avB(Q2=Q5;m>xj%$nsogNUK7s=
z6U#;-t*6VU+b`Hn5YdAlx8AycCOlVE-azA7XC;zCzVL02RujKMI>alBHQi(h)idfs
z5fY8H2G~xTAr|59*Z{rd3D=0c$L#RQ<(r998sP*4@$e|ZX`u_6vvu3W+W314%xVZo
zI6*e5JPZmr)QS3KaKgKhA7p2rQ?L{V4!Na&P`Er(fj#f6)5G)B8_iG#77xNSf|scy
zGeWO?!MN`-cPhW^cZAF-g}*v6n$ro%{q9Y&-Ig!wO_32fja1Qc-B--_4}I={>&AYd
zLs8c>c~RSO4*P@B%tJdqdcWrBPcc~>j2GfCJZ#WuB3a(TE)nc|>{_mwri5e#=uoYl
z0(m~i=Qy?_7V!o9lsVgOENZtzc->W($1vE{0K!6L48P5%_`MrB{)q)XJfz)Wm-T((
z`y<A1>D@arZn))`l1CN41;)>ha9hS0HpKKMUf1U69p`W;U&2+c$@Zrv(JlAbYT3Nj
zg$K~ex7VF{bol#%m0R?U7O!$i@!I3Q{Oq$_b&NXYW-nIL?b6L0b~JG#dR>HK!C%jD
zt^(1$bqzuAqbHliW}ecJ&H>_MQPVy2=Bfqj;R1hf8md5ji)rOVFT=WY%BN^WQ*gZP
z*?ddskHz#B<B~9OMyJ+Ux`0;?wxjZIV&26+4s?xaW)6lgiu-#Kf)3n!KsF}#Ib6;w
zEW%c+{W5(bsiRC|P=(|^{o6?m1eOybj_1bZN-#j2j&_Lk*PVhx8Co}f&9Zh#;yNUt
zbtrfJQ`6>bWqiWB=)@<m?pN<2uY+-nl-)<2xED(4!}T%V4izHF&IV=m52f?a3`ccC
z7ph{<3QtNB+-$(TGViO(6~8mRPM_aC>E>r$KeC0ThL$HjePd6%(Oe3}gx-hTrjUOq
zGbXc7;iT!6+THv!OvdlH$}xfI^IOL{978L6_W-nd4n@`V3C?TATK<GvdluYUP7RNR
zX0kMB5Pq7a#^LT~cBEDw#0StdWr-^Uzlca%0cnuv<lof(sq!ub(YOlS((M+52D5hg
z1^8R(5~1yK^G>6_XA;t&D;BknvL;&_+U%UuYnn-XvUvR3!$;*G((WpMtd%w+AXIRn
zJe)!s&QFzq&6tjic(Ieb@Q^8Q#7fe5XxzvCJaB|jSz4suUNH1+Cx!grd#1ZbZPoDP
zc#V7sMK=7OX}#SGeZ~8Gy@-b$x1JIG<OUhd2bdz|ZV<sgH=Qn#C5Q&&V|8{hU=ObG
z#}7kxb1Aw?_Kc(!LhXp3xV~CijVj;#^lu$AEOm|6ZS|Rtn7Ug_5=Hbo?}0+Fwf+01
z@ixk^4KkL$wmv#R>+WX!H4Rc}RZfBh?c1+CY&1bedwM(kt|QxNjpgYym!fm@-}g*!
z2Kox58TJX44$3V@c$IEI9X^HkrHiRpGzlR(o(UowF#$iV5ur#@0D_n2CrF#j`!pB1
z6kJx9+)_4(spZ<ihgd1hiOy)ALN_93elDRzcG86HKS%eNfiJ(d(v9oN9;f@JiQg(-
zxj?bebS6>+N%a3gZ}W_~-$rvJ1jH`4$+hDOrArr6>~mc;)H)f~nHSsRq`ch)zedzV
z+$~ZlX`A}R_5E-TI4x!aeXhnfxjSCyLWa(jgM-R`e=e?mAo_aFOH3grWj=@A_ND~o
z2L62E3H^zpMp%daE<pa-nF&l~CWdB^dGZhwALN=G5+I<givLy9JKYUS!HP)Qt6ihb
z85`|05!+2btQ_^Su1{u^#M&Wc+}c4cvO^0R7S4H3m3TzLe^e`<;aj)JF9!L4pG!z7
z2TVP<w3Rck4le<{^Sv6K6Gt_4dapHg13uA>S^&nH(ydanp6^<2QM{|@^NI6oA)RJx
zv<r%y56sRZkJAIqK*l+~CLt%6w3szn%JK@s(3?%DN&e2Buoi-Q<qho`I&MS$DQA<d
zq&HF59i~$E7+XSvtm!euBiWhcrsj^s&NCC6Xd@8a`$LEuywdQ)j>?XIUY%al5?S43
zd3op}Dg3xWy+~@Rq0(f_c45LgtUQJ#lepJ==e+GcE4_u?{(e_xpWb*|dF9TR)*=t8
zjf$bn*2&)^@Brv)j<Fp18jVnFq*_{Dv09Xe!j)<>4<&nzJqgGKMaqsiG7A~giOGrp
ziQF5ZEso)+QGn!;UB69|nAhqh#p(w0kF*gD5*<p*Lr#}B9pF@*??ZkR46Pz(X(C0M
z!IbUO%VB9pv{r3H>jvYHQ)Iq=eJKnrxCwY^h!;q%I*mp3+yftJ3khU4F%<bdzC7f-
z7F#|04~N?Yb*VqHOBgm|R#vG)J6oH$(Rhw}t$d{VkL(3Rh7MubV72Who5_8Z%-5+`
z^vYE^fxl4LZ!k2bbW9hoz=3!{$e@f~%ZY;=RE@-9UO+yp`V6TsSA~2KWj*T_m8`L>
z;I(`<N^|GTy<LDB_~<&uOVIuzl`N2Kry<5og%q<4*!3>Gm&Yuuh8(0$(Gt-9<+KpK
z8qP#t@P~3(`_Y}041-}6x^D}OE7#38B0;H*pd*k6<vl(<UBR0YRYxd>E7cxjqyx_o
z2~7iQ2<0|j?E`!Qn*AXcHrcFtw`&ea`rhXk_@(0PWf#*fR~Y20;uV!oSFa8@Y`qaS
z&z&_0x~Z?i(w(YHotk3uM!eVOVx%d-#$7)7H{=!A60yA1lu_$y<`n(S(D3$svf0Tz
zutW_Pk#XaCl<m|NN^MhQi{|$~qhl?KHs=Ty4sj&Q$?6!Tqd`&$*3chZq&+UuZs8j>
zYrUvIX=9#ZzNYg{Au$A%&RthXN!x6|22;0MujaV54H>!2d^0w$rwOD`r2OAq^*62l
dy9nUF`adg6PZM<Y-#hRxMt^PmH`D-t{{ZEJ#%=%r

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.15-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.15-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..3d3a0f0b2241312bbbf2e2288ee66396d9c567de
GIT binary patch
literal 3522
zcma)<_dgVX<Hql@$w+o)_TGCO&dkUtqpUN|zO&=(afNfpEGs*magj1El9_Ovva-nz
zaYeZJ_WAz)dA&Z*`-kV3=MQ+^R%T@6Aiy;M1K@p#xZSu0K!uqe08q3807L-*KzOJx
z%v%}?50RFWQTs<IJiyf}G6)_L<_Zb%@bQiClJN_L!)VAU0L}nF0sx?$n(D1cQVgz`
z#J|&|FByRO3V+~5qHVZz_+~=8*yN9l8Id*lF7`9g0H)wW*6m`ZzM2i)WF_P-cj-W)
zv4M*y6?DDXx1yRfE4K+fx$WGM^j0fS1=q%fqz-9XP<`5%oQipW=tEyDrS9&3xg-gc
z&r&2_=uZvT57=b42epW&8H6ap`n*j6-R_N1oazxTXPy(LV$5E$`X46I)eIC${YB4@
z@(QG#Ud$q#Qmb8MvX|I>pq-uyWEMQV4u^D{oFCG|hpH>tgG0fv+jp8*@zmJ5`1GxK
z%mNoG;$)_-vb+UQ2KfN;u*8lJ#j6ryk{Zw*g5Pio3o3&z4(&dRM@3yA#|&ibT|RFq
z{Av~Is4C$?xZU;31fSdBo2KyxcLViNMjK<Jz5@9!M3bYZ?pVb#xFZMsC#p|+dRp+a
z6a6#ac(<SW7*>-{<8e(ZQv>e45(Q8xX`hmKBAqdB^tbhzMIs0W4U=SPG^v!NN=cjZ
z+8Z%2ZzfsPd1~c_DCh5~(w|8hfJ(z~mr0GoOgU>QRh>T!17Z2xkqyu{S&(8S_m0@X
z$GhK`&+UO>o4-=-Q}Y-8u`dn)KD3NX{?f1!Zma$~PV<m|{oF!ZwRIMlayRL|dsHT*
z;LW(Oty0nC!kXGv2Ap>ID%v>KZuVl6ZdgiEtVg1L<<fB(Spko?HOkbs<ew4lx$s%2
z`ELKwuEWA*n}b=2dkC4DPMEK1(DKb8u;q%#^2k;{dvn|co}5m15Ko0gDIUuiAMq<`
z-IIwG5=OYyz==)9_f#A%hZ)>ccE98>P#J~r`N5^+e<pEWIYI--U5Z{vUT63rb@f0u
zSX9AvSKztPA0Int#I4ZHz5;u0W@l~p-&yLkQi%3@g$>PLmz37R(iw}Mb)i|ZnyE6^
zMdDm-|6XwQ({)F4(o(ksiXb!>HZ{7TQe4D<BQcx!01m9C?n+AN$Xea)GC!HJ$l?%0
zMDCz=c(y7hX7gBY@+!f``Niu_Xs?o1+xNL}*1SMP#?~stO%9X_W5uo-1QnAcH2Ub*
zQ%zAfK{GdXVD-8s%jw{=9v`TyhlfZA^>YanKV=W(vTl1Yw-|n&w?5i6%~Gy)rzvsb
zzMqN9jVvUq)u$-qsC&Skk*^LksQ0EOJ(z3le^V|i$yk+#6AfKvX>KEL_Kj5Gx+fUi
zMF(v{)lZvVaOW0V7B@HyItH71B(<ant@bI+Ro552@^kF!eiUES3L0__;q*su1hxH$
zoKKjL|03||;}a*vDghjZGfL5<8P^|t<AUNfLW%x}!xui4u_TYJOtWO`_G3vEya<n?
zPC-bBu{6khQa=!0nNG3_?x1Ql_6z3cb<7jUU%FKX*$?Kvhn@ljlmG6N`V(fIF*J{T
zL*GIlUv8=EBvqN1Oxfl5s^a0zS#-iia#;c$O1hnzM;*-Yo#|tB->HZ$K(11xVR)<f
ziGL{FdfHF^+~-dq)}tHEa{X!idN&2t!O*vFoBidcPJh?WgNstTJP0QznUU5^wSE(m
z3bQ}f`TO@wH|&J;H3L5sItGVM0Bo|qhaP!3u=YQdciq2SdG}eh7iV1y2Q5?>YN;nC
zwr8lmVif)IbGT~Phzj!v!plAg($Zf#)k$A4@OCiW`KtZ2FiIGnv9^N?^wwz7zk>9=
z*?R!t87sJj(AVvnu6iab#hPUv$>BWUowFacy~m(@DuG%ap;0Ss&biz)e5jSK5}Mqc
zzg&LfgYgts_^5rx6_bMjE8pBnLnA>`HGcq0d`BeA{Wk2bkv*S0sJSrmU1r;<Teb~V
z)L`A6VbUF8Luwcae~aqyMp7ogX5<Nq)K7M4htd7YB6^8{E{f&9W4EYc-l(vT%A|+Y
zMM`!88Ki<dPw=osH5LE_#qxC{S>J<461<T)G;Md8)zkg*f%F#(D8qxaa+YMG9N&=c
zq!CX<zH%o>3Dd9hmAiDF(2{);^a>^2!C-m3?`p4>OEQ!G<2LufdlJluQf%c0@1TD_
z#-jpUaCV%U5Z>iWCaE%6Mx}328NCXo_McV2=>(;FJNBsT7?{lZEw_c<!FoW2eSREa
z>EK-11lC)sPIL%HT9ov@k`7`UGgXf%r2bgKTz+2}fxA{~1kSt+;~BGm9&GN#kXJh3
z6hh^FNe1rKD_T9AZ!{1#WW$=z0PG5*6V>)SSx~focc%ql+8y3h**{Uc^lbgP5@Qki
zRvK2-Co6IItVYY3@xsHMYxcQlL9YI$ujH#bCb-0SL)w+O2k&p9C*&E(cvs1q|6+yA
zwl+yZ9oS_n?Di@g8d)|2w740!63OdeTW*@wt&5>?sLo3LX2K@s`T5-$Y$+=jaU<xP
zadkvgt|O>l#=yVV=`fPhs=X<^OCo??JSy+b@A~Va3iKb_rENh+Q|*Yc>S4#OJ|!~1
z^l^^wS|0njR{X|i=T0>aPURe#b6DQiIv)T^bu2ojvWlG%Y<wCsNhZ60oAxz(43I$T
zt{V@9?3ZXq@ljltpB-ETI8ry|8GD*i$fbn&8*hT32W4LmPG@Av`F_Di*WCqDb(zJm
z0=A~#e)tvxhhsRJx$wff!8KRw9&o54>2X0Fk|z>qV&s<Zii<1yW#RqQDVybkUEZQ^
zEE6bh9#n@%{3&N125p;fc3YOUXj*TK^Z6?vUhZl|e<bb{9miP5vMIzT+>Gn57RB8%
z9ZA=%Z^=$j*(zP#9?|xj_=CSEo_(i(qj-1ZrN_g4OLF{#7?}N_`Q9?!@F=Bi8>PbU
z**_&`Z=<CjB(A}s2=_EES#g8jLV@HK%xeVUd~{BHv4*20YrT7vB%zr#6?R<_Qpu01
z!BeeKPKaM<aoX{AW3*#U4~JpiwDEpdEOgqE^l`+@bb6Na$Gab@UEXHI><_;MMbMS#
zP>_xi^*fNuj%?%#b4q94Cqbk=teRp(d;#V@_!*l8oRMzoPRw<bpGUpUFMMq03)S?_
ziV@f`o~BT(_42H?X))&e2kpCQZ4HZEBE^R#R_4tzaE3gwPB4=)Ys^L;pfwg3bZc$p
z*ckMCon7%}oU3qzRp-uwfT`#^t04P*o-DQ?o%8Ab)|~V+3A^MU<l`@q%*lMN6Y=2&
zGqt$)w5{0KrqVV{=vsaef6K93@Ae~>SqkC8+r)v)PvSau8_rOVcO7ExB2u;LTfDGb
z?DV+H!|mq%MKTYyv#*_ckC;RD4>tUI5=+)?VTf`uawjZJtn<$+)H{q|_*^cj0is!t
zv*KfAA<1$KzV}?a+EI8rmI|>2*UJ^glE%t!v*kqR6eKx9roUfzhz7d37u~JE;PzGs
z5SY+rhMu=mAU$V)Kvz&B(29dL*<nd-ob=+c*ibE<z2L0G(yVxZhxG<?81t%MmwBhg
zZYL7|sj}vg@Jn(i0&$_sUL8jnsIxX-V6%f3@SJZa9EpyQ5g5~>?Y6|vMYk1&e4HE#
zC}>Ok!yQU$Og2cA#c62qQ>b42omU4`KgTMV)Y%_Cr7|v5yBY{^W>(H6trk3Y&n7bO
zsi8|2PhCbU+%Pxm_>uU;I0072ab(2wBWi!Mp~!(ZB<nqc>T!)*hL^o*F<pa94c)R}
z6unZ3dT;+yldeqGbZ{}I>X#H{Ng5k_Yt~?4QBG6%Rqx_j{>N)9g}Y8nV1GC>w@f{)
z@|}8`%$X$BMPA3Ppw9jk!VNVy6$QsXDYZIb&GD=+FUq#N5*H`?=8`dV+;J3r4i8Fw
z+}Day8-g{=3yb>PtnbhBf`M-XVyAmzg`XfFulxm(C(%gXXxzt~D7<LYp^jm8Zjz!2
zM*I6vH6GG9V-^}#yWd1#dD7?}z1my+)ot+Y6?(NN-sZ+PYr!wib(ABBtd9sZvXL4U
z*Km!ihkkp9i6W82?^i=BJkL1{3l-iHrT-oFQge@N(nGIgSwjZSyCjWE>QkOtQoAdw
zgq(DqonHlQL86tc7Y}<_`)fX~XAXmi_B4}(@m^cY8%DNnX1=a{<68LEY)UJs$;<{K
zb=YzhLos&oV83N6Y0D&GAmdkYp8r5vux}cda8!(EdD{T9$_py9T8N4XLOU}w*t`3C
zMKiYT^>fY0)AQ7h$Jn5eXlfGIdmuBUgMhS#?OHy3W{|r@uVNSoG3!45Oo+Ah-n?tR
z*^viE&-U(<nG9SlmZ8ZNx|r1^P7=J@^ecOhP7;Q^++i4&In@=;I-d?BaA2tx^jf}T
zo`B4S@fVV|Yk1AQ6edCJBu|*0G2=u1`m-ylFf*K19S113jpAvV&DX*E)%3!^#x=ty
zVN3;AfZDrz*K{=f(*G(8kxfHFvK=Q^8_v|Yys!T(J<YJx62zmuJ;{icn~Mlad}5$r
z%?1LanAx~{NX3SAK|XVf78-dZZ+F@@ypjbB2y9<V!&!8?*Ib=wW;R%v0k46`{<~QH
gbF2SP0`NceKWdhh83pBk=D>g4|JU~aObr0|KjyEf2><{9

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.8-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/using-for-0.8.8.sol-0.8.8-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..89d650f85e835f65ed927413f91318fb0066435a
GIT binary patch
literal 3501
zcma)<=QkS+pvGf2MNpKsMr*~4pi-;EDzR!tTY{?ED`K@#YOmVWSBhE<ZG)gj>>0Id
zQ+rqKUE6)%`~9ACpWlb)Jm)<Bz|T;ZidqFg2><~|ULwf%3M^w63;+Pp3;+NF001A1
zle>e2y@!_s6e9O87!OzLm;Rm}Uf$Nvy<Rvv`M!iWV?5k})HDDT0Pq$7co-GsAagE*
z&Kc~hRAkH`yE_Rs@`T43-&W=w!_?oD+SOtT$ERAEk6{7K=xz4Zbmmt4GCcHt_!?Ix
zIao`>3QT9eSn8DX`FtF@Vt>Skst&18a)Z@Y-44IzRXp_|sVFq+Tiv!JW4gG!t;^+%
z7==`V%>J3$NGE}e)I^ih<!d$J&>__nb3)N0PQi0!HzAq7j@>;Sqt}G~OxrYb9Elwb
zP;Nw9J`OLch&)Y%p^NJ&vH~XWb)4U;^Ybm<h9o_{5{Si1%2S5B)!$iMBJ(G!`>D|P
zHHu(#L~#-uA%4nYZu*k+o_H-g&h|~wn;xeYS`!QMyY7F#_iymn$UO6um(I4oD6JSO
zLnACNx;MXzGy)ZMdZ2pASMfD0Xl-N1q$iIL@#C1e7vw@If_S+U>9VdTZaD}lwwc$l
zByHq7*IH@ama5|xuQD?6pof_2Sk}`<({bICGEahj3H`ixzYARbW|JUb`XoSn$8l7s
znvi~xGk-mw<P#iuQ$e4X9o<)?!5xFhJrqt2D~e(k%=E(RBIt@nqWiX82?{#=`IuKN
z+lc`M#~p9BgJz@RZ*M^^WTyOf@H-+p*N{B*TY>w%T}2)D3S238iH6EpfoZTegZ|Uf
z39j%>Sz*V{t}05W2A^q`qaBv0QIR~@YGrBMK@xTku#BD;7E2f-0qZ=vr8CCAeeqr1
zAZUGD1X>f@;A0YUY`MBN`;MUl(ZFZspTk@o9`N54K}oWzPmY8oDx~$WBF=AjA{%^H
z8rjrnQHE!!$<b6R-_=2zI?ZEd_-kt1>n+qf;2k<+^K4h@63!oE%ABDRsN)yOd}^lF
zBf><!NBQ4tX=W8jRm@rbU$>TQx9eVVoBK>>OoZJV;N2&MRE}9k+s!GnYdB;Fik-KJ
zMSGZ5ht25hYM&;XrS_M-h|wPIQv?=>i?^(@%XPop3NqfI=H>LQ4ZLNQQ<(G?1;-A*
zUX-zDmOKl4rcArJ>D=bB_F)*XS&h*EJf<o5CYf{YGPAt};h}pD4U?SgTi_by4k<Nw
z7{#F`xN(~Y7n`XW^N3ewOg!8>{H{mo8`zzgZ9Vm1yBOh-k3lomjG$`iNv4-g_uEys
zZY&GP(ulWEE!VN-M4ueiu>=4cVBm-WM8OqnvvXS%;ZJ^msmt#R83<}RGo2@+-6Elu
z%C!8&-K6*l@{N5ym{eIAo->z)2{Qrl-{JKi@Sf)$LE)fC7#D_bmx>*V%yu+ZqNAHi
zhqFc^veNrQ+Qh;MISaC5OZRJWszStf)onFxebyWi-0{=FNO|h*m$UzDNByWH3!O+g
ziPgvhj73;2vB81&`IzbL6?@=mqY9J#-v)R0J48_7d2#E)ksenIX<vp7298B|8+Ap0
z?(H!-_*>?grDw3rYwN08yr>i*TI3V=^(0B=_t^VrB&)Q`^l1<US>US~2JYld^+%9Q
ze`ufnz<|LpLjH&o1cN2HwK{BQ<Y@h>+QLM%vvFK;ObHkIusy!huVc4ZTf=gVw^msr
zzOcQ8vH33NiK8mnIFF>yAz@h_n-nE2nx%m-isJ^+{kFN8C=%e@9yBr<tF80*lWh@)
zAGb>@I&0iDzeN?g@Kd+F(I?;Ab)6Q6_+kgbu5W#P=$s%4ctk5OavBSnS1L)rgv-RO
z(|B?~Kos4<A5rsMb$`=#Wv6>{kK3TKLA4ssZBqfFTC_1VrU$mlPc}-uJ8z>Mf6PN_
z*9WOXZ+;s|e16pQ=x6tm1K)Y_KgtZw-kFr$YSKj6M@kT_te^!OU2_lri&wx=VawBg
z32nmw34p%GbYb%n?OJhU4GCE#r-JBBBiRLB<wiwVb8*5yl8m;qXA9}C?ryh&rJ!V`
z49ddVN@APQT&)*3WGhE4hSHazU3&8TTh;wHZ``lYL*en<mezmf09HogrcWckB!0Lb
zI0%!&?1g}zF(WJHF(K7mSqBz$J>}p;h|}5+97TMI6ax#LW4DQ@yrq1k&(FQtT)GAZ
zRM8L1{$4-3`Tld@@1sDfQ14#`u>sf~au>zBP{xq68SN*Op-6&u6&e_!Dv{#vGNpCi
zYSB8~pm}g(VcY?4rg6v3SdW*OebRXkMN59@yqgBxm3Gmb8+TSo@lrX14J1~e{_f;?
zanwY3elno_)z<<N5!=_4jkP(_s_zmEIA&;Ay_2{XI($fWZe-)9{NhsYzwGQ&&|M0|
zOB}89;QQG=bCi3LxHDBLf+!elX2XxqwGMI$zvs#4VjsPFr!t+S5cC?dnNhWS$&ReM
zRP@p_7#-VYW8P1=rr$x-v+8v%zU%Wu@(s7{8^^RGj$1~DjIP`FAr9|b`;5j-yX@Y>
z>Ppn{nz}Vx;h5|6>bV71Q0lmi&H8veLsNWdU6l_#BT~t#N=(jRhQwZy>k)15+R5l>
zCLQ6=bm-n(ncZwT0b}a;{XRVJ`E}hb+nm|Sbe;ONTT8=TVEDon*RqAS-<g{Muit&a
zz$;1LMF+X^Dq42Vv_TWr$|je!GWi&%R|<Zo8N1KYCrX%n@ns<s0L8_ZkLEw)Lp0AC
zYe2wv6(>Py)KkLPqOvI%9x4!&8CuhFgS8r!g?%Gdv6aR9>f;|V-#q@aqk5bGn;@oG
z37_Kk2NT>WzjCNLzuOZu#A(>|xntPm%-G!Uq@48hW`SN|Sl{xmCf{qx5pd|P^KEDZ
z2quOUxE$IT%La>pEED6@<Xogib~oUyFdpQHFkyT<X*H<jbfA}NO^}7_gaO40w9j=|
z$oXZbF||8*ZKU+zz?=eibFIq{--e$i*A<FM4?D&tBwx~CFpPU{c%m}=>GXF3XvAu8
zdiVHSUuQl6H@!j$a?+z7;!n|s7nIADho@FJjk|{GV@EGORY`VM9E5Ve<GbYPcKQR~
z1fRuD(cs%>Fnr3Fj<6Njv;g9Sffmg@A){WD9SVM!_7BsPZMFR5+CxxNx>!q%d$edq
zG5C<xHe^dXZpD$9O<UtipIseEbE~1#%io1Z$Tkc?dRtl9Bs_S-qko6x``Sc;1Y?TI
z5Gyrm{jbIX6W2qk>jzG_iN^21h7?33KTacbek3Gi&c3!%WEJOfc4KBXGxGMv$tr~j
z<QC8gX@Bt5y+Lc5YEGgq`-A#VH4=QA^N*<vmeKk_7s0;)gqcej^DDTTQDIIIGE)f4
zJKtn&qb~m7!d!URS^rRp!&^81Fw@+SNqH<-f^_!Pb*x{zNj;H|e<3{C*m>PJD&VzI
zl8Il^92qCzj<c?$dR$}MAe0@ifA8sna+LeaXp;d3oyfW53ozZ4#1H-ATk}pSQNCY$
zD{xX7Fa(Es>w62q5<AgL_N_YqkUXP90Vp;J)y_%~P#JtM^7|QmDNA(H8O3>KZ|EDI
zJPB4mEN|LgfN4|t4jq5)E<8w-(SPBCMePt&l^=GF{G{QXl`vp;^_SG9NDkRID{Pv8
z8+A*Im=Gt@Z6^tNNkt`76l-QuhnTaBVU+KZryuHptZ|TcSgwhfs(5m757>p!g(fey
z{4RZeScEl+bsH*F6w-h3R|ZWUkV8hNhw&qld5wJK;1A!yO_$jj0@S((^M@B_=3PGY
zu1%yzX+QDc9tDNh9MeBTSa`3#=6T%5Z$c%=l!ntgkzUb!a(V=47?<T~riF(37V%%Z
zj{N5HvL>#fLb5J5IvL6PgJUl7IoWe=SX5JC7iHDt3m(OyZHQ-(0d#;o_?cIQm*EO2
z3D|)<rwX;?l)Iu7r=uC_n!3<X*@I$*KNfT-&c>t$Ub+Wa(spxDX61kKn>U}ThmrDL
z83-Ww=}OGp?1bu9NAS|1c`5D<o$JY&e))5@5mpT~5UK(jrO?$7V^9bB#xa%dY@C~`
z+R#YSnggwi+b>UlWiBb3HhnROi``ee*Zsy4*+5S1{u<`V;)+FrX*B?e`jM@2xqON&
z`+2zJ=B|FDvm$9Y;VZ;dP*?I(WgYXNNTa80Sm7_W<J;W9y17H^&`xo+uf3VeQVKds
zq^-sTvb>&s1ANcAxuv$KynN|Nj<TLGQ|V_8L|+MIedKSLgQ%>|`%QG&hYx&A!D*|+
zzq^We-IK%K%DTPwdNKXN#U0%s&FibaC@m&<r)HB}22=pf6@D9AT~V*NwEe+<rC>>W
zt|Uv*gX3G2er$_q34E(T62~zKA&Ifv>!<N;3l;8jc3D8|+&%CEz5JS;?$jvBB;ANn
zb|Ry!sns3-RYL63>b=R=#t{bX`ZU-&g_*-G+A%&`>weQ4YynwUOU9ax&Ka$&fh%pD
zf7tcMsIOB^%9moXhq=EF)Res+>}U<Oy?z@4Qnys5eI@YqGF8)&d6rOXC|bCHd)qYw
zoG<?LAn`7N*YkS5P{t|vDm#WKYN$&=sY3OCJJi1#^}l&b@n8Kvjml7$hW5WZ#lQUP
LVgNP9|JMHivwowO

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.10-compact.json b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.10-compact.json
new file mode 100644
index 000000000..58fb20ce1
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.10-compact.json
@@ -0,0 +1,11 @@
+{
+  "MyLib": {
+    "a()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: RETURN 2\n\"];\n}\n"
+  },
+  "A": {
+    "b(MyType)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  },
+  "B": {
+    "c(uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.11-compact.json b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.11-compact.json
new file mode 100644
index 000000000..58fb20ce1
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.11-compact.json
@@ -0,0 +1,11 @@
+{
+  "MyLib": {
+    "a()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: RETURN 2\n\"];\n}\n"
+  },
+  "A": {
+    "b(MyType)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  },
+  "B": {
+    "c(uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.12-compact.json b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.12-compact.json
new file mode 100644
index 000000000..58fb20ce1
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.12-compact.json
@@ -0,0 +1,11 @@
+{
+  "MyLib": {
+    "a()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: RETURN 2\n\"];\n}\n"
+  },
+  "A": {
+    "b(MyType)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  },
+  "B": {
+    "c(uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.13-compact.json b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.13-compact.json
new file mode 100644
index 000000000..58fb20ce1
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.13-compact.json
@@ -0,0 +1,11 @@
+{
+  "MyLib": {
+    "a()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: RETURN 2\n\"];\n}\n"
+  },
+  "A": {
+    "b(MyType)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  },
+  "B": {
+    "c(uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.14-compact.json b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.14-compact.json
new file mode 100644
index 000000000..58fb20ce1
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.14-compact.json
@@ -0,0 +1,11 @@
+{
+  "MyLib": {
+    "a()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: RETURN 2\n\"];\n}\n"
+  },
+  "A": {
+    "b(MyType)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  },
+  "B": {
+    "c(uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.15-compact.json b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.15-compact.json
new file mode 100644
index 000000000..58fb20ce1
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.15-compact.json
@@ -0,0 +1,11 @@
+{
+  "MyLib": {
+    "a()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: RETURN 2\n\"];\n}\n"
+  },
+  "A": {
+    "b(MyType)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  },
+  "B": {
+    "c(uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.8-compact.json b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.8-compact.json
new file mode 100644
index 000000000..58fb20ce1
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/using-for-0.8.8.sol-0.8.8-compact.json
@@ -0,0 +1,11 @@
+{
+  "MyLib": {
+    "a()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: RETURN 2\n\"];\n}\n"
+  },
+  "A": {
+    "b(MyType)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  },
+  "B": {
+    "c(uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: RETURN 1\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/user_defined_value_type/using-for-0.8.8.sol b/tests/ast-parsing/user_defined_value_type/using-for-0.8.8.sol
new file mode 100644
index 000000000..bc65038ab
--- /dev/null
+++ b/tests/ast-parsing/user_defined_value_type/using-for-0.8.8.sol
@@ -0,0 +1,22 @@
+type MyType is uint256;
+
+library MyLib {
+    using A for MyType;
+    using B for uint;
+    function a() internal returns(uint){
+        MyType myvar = MyType.wrap(4);
+        return MyType.unwrap(myvar.b()).c();
+    }
+}
+
+library A {
+    function b(MyType e) public returns(MyType){
+        return MyType.wrap(3);
+    }
+
+}
+library B {
+    function c(uint e) public returns(uint){
+        return 345;
+    }
+}
\ No newline at end of file
diff --git a/tests/test_ast_parsing.py b/tests/test_ast_parsing.py
index 2f0e9b12c..38c12e5d8 100644
--- a/tests/test_ast_parsing.py
+++ b/tests/test_ast_parsing.py
@@ -418,6 +418,7 @@ ALL_TESTS = [
     Test("user_defined_value_type/constant-0.8.8.sol", ["0.8.8"] + make_version(8, 10, 15)),
     Test("user_defined_value_type/erc20-0.8.8.sol", ["0.8.8"] + make_version(8, 10, 15)),
     Test("user_defined_value_type/in_parenthesis-0.8.8.sol", ["0.8.8"] + make_version(8, 10, 15)),
+    Test("user_defined_value_type/using-for-0.8.8.sol", ["0.8.8"] + make_version(8, 10, 15)),
     Test("bytes_call.sol", ["0.8.12"]),
     Test("modifier_identifier_path.sol", VERSIONS_08),
     Test("free_functions/libraries_from_free.sol", ["0.8.12"]),