summaryrefslogtreecommitdiff
path: root/test/files/neg
ModeNameSize
-rw-r--r--abstract.check269logplainblame
-rw-r--r--abstract.scala227logplainblame
-rw-r--r--accesses.check803logplainblame
-rw-r--r--accesses.scala570logplainblame
-rw-r--r--annot-nonconst.check430logplainblame
-rw-r--r--annot-nonconst.scala108logplainblame
-rw-r--r--badtok-1.check141logplainblame
-rw-r--r--badtok-1.scala15logplainblame
-rw-r--r--badtok-2.check137logplainblame
-rw-r--r--badtok-2.scala26logplainblame
-rw-r--r--bug1010.check263logplainblame
-rw-r--r--bug1010.scala362logplainblame
-rw-r--r--bug1011.check128logplainblame
-rw-r--r--bug1011.scala3961logplainblame
-rw-r--r--bug1017.check253logplainblame
-rw-r--r--bug1017.scala174logplainblame
-rw-r--r--bug1041.check121logplainblame
-rw-r--r--bug1041.scala78logplainblame
-rw-r--r--bug1106.check204logplainblame
-rw-r--r--bug1106.scala114logplainblame
-rw-r--r--bug1112.check167logplainblame
-rw-r--r--bug1112.scala369logplainblame
-rw-r--r--bug1181.check167logplainblame
-rw-r--r--bug1181.scala378logplainblame
-rw-r--r--bug1183.check614logplainblame
-rw-r--r--bug1183.scala646logplainblame
-rw-r--r--bug1210.check354logplainblame
-rw-r--r--bug1224.check117logplainblame
-rwxr-xr-xbug1224.scala63logplainblame
-rw-r--r--bug1241.check180logplainblame
-rw-r--r--bug1241.scala231logplainblame
-rw-r--r--bug1275.check266logplainblame
-rw-r--r--bug1275.scala414logplainblame
-rw-r--r--bug1279a.check331logplainblame
-rw-r--r--bug1279a.scala1253logplainblame
-rw-r--r--bug200.check91logplainblame
-rw-r--r--bug200.scala86logplainblame
-rw-r--r--bug343.check150logplainblame
-rw-r--r--bug343.scala168logplainblame
-rw-r--r--bug391.check468logplainblame
-rw-r--r--bug391.scala178logplainblame
-rw-r--r--bug409.check157logplainblame
-rw-r--r--bug409.scala384logplainblame
-rw-r--r--bug412.check228logplainblame
-rw-r--r--bug412.scala536logplainblame
-rw-r--r--bug414.check538logplainblame
-rw-r--r--bug414.scala329logplainblame
-rw-r--r--bug418.check269logplainblame
-rw-r--r--bug418.scala62logplainblame
-rw-r--r--bug421.check221logplainblame
-rw-r--r--bug421.scala147logplainblame
-rw-r--r--bug452.check183logplainblame
-rw-r--r--bug452.scala132logplainblame
-rw-r--r--bug500.check120logplainblame
-rw-r--r--bug500.scala419logplainblame
-rw-r--r--bug501.check160logplainblame
-rw-r--r--bug501.scala336logplainblame
-rw-r--r--bug510.check126logplainblame
-rw-r--r--bug510.scala283logplainblame
-rw-r--r--bug512.check109logplainblame
-rw-r--r--bug512.scala79logplainblame
-rw-r--r--bug515.check167logplainblame
-rw-r--r--bug515.scala177logplainblame
-rw-r--r--bug520.check135logplainblame
-rw-r--r--bug520.scala228logplainblame
-rw-r--r--bug521.check873logplainblame
-rw-r--r--bug521.scala453logplainblame
-rw-r--r--bug545.check218logplainblame
-rw-r--r--bug545.scala164logplainblame
-rw-r--r--bug550.check261logplainblame
-rw-r--r--bug550.scala170logplainblame
-rw-r--r--bug555.check102logplainblame
-rw-r--r--bug555.scala73logplainblame
-rw-r--r--bug556.check129logplainblame
-rw-r--r--bug556.scala93logplainblame
-rw-r--r--bug558.check154logplainblame
-rw-r--r--bug558.scala445logplainblame
-rw-r--r--bug562.check131logplainblame
-rw-r--r--bug562.scala140logplainblame
-rw-r--r--bug563.check128logplainblame
-rw-r--r--bug563.scala208logplainblame
-rw-r--r--bug565.check176logplainblame
-rw-r--r--bug565.scala33logplainblame
-rw-r--r--bug576.check147logplainblame
-rw-r--r--bug576.scala418logplainblame
-rw-r--r--bug585.check65logplainblame
-rw-r--r--bug585.scala20logplainblame
-rw-r--r--bug588.check448logplainblame
-rw-r--r--bug588.scala270logplainblame
-rw-r--r--bug591.check115logplainblame
-rw-r--r--bug591.scala707logplainblame
-rw-r--r--bug593.check125logplainblame
-rw-r--r--bug593.scala28logplainblame
-rw-r--r--bug608.check197logplainblame
-rw-r--r--bug608.scala420logplainblame
-rw-r--r--bug630.check171logplainblame
-rw-r--r--bug630.scala307logplainblame
-rw-r--r--bug631.check137logplainblame
-rw-r--r--bug631.scala50logplainblame
-rw-r--r--bug633.check128logplainblame
-rw-r--r--bug633.scala160logplainblame
-rw-r--r--bug639.check78logplainblame
-rw-r--r--bug639.scala39logplainblame
-rw-r--r--bug649.check118logplainblame
-rw-r--r--bug649.scala55logplainblame
-rw-r--r--bug650.check116logplainblame
-rw-r--r--bug650.scala101logplainblame
-rw-r--r--bug663.check304logplainblame
-rw-r--r--bug663.scala441logplainblame
-rw-r--r--bug664.check293logplainblame
-rw-r--r--bug664.scala133logplainblame
-rw-r--r--bug667.check140logplainblame
-rw-r--r--bug667.scala126logplainblame
-rw-r--r--bug668.check125logplainblame
-rw-r--r--bug668.scala28logplainblame
-rw-r--r--bug677.check150logplainblame
-rw-r--r--bug677.scala44logplainblame
-rw-r--r--bug691.check171logplainblame
-rw-r--r--bug691.scala625logplainblame
-rw-r--r--bug692.check1015logplainblame
-rw-r--r--bug692.scala720logplainblame
-rw-r--r--bug693.check100logplainblame
-rw-r--r--bug693.scala81logplainblame
-rw-r--r--bug696.check168logplainblame
-rw-r--r--bug696.scala203logplainblame
-rw-r--r--bug700.check247logplainblame
-rw-r--r--bug700.scala178logplainblame
-rw-r--r--bug708.check203logplainblame
-rw-r--r--bug708.scala207logplainblame
-rw-r--r--bug712.check180logplainblame
-rw-r--r--bug712.scala407logplainblame
-rw-r--r--bug715.check270logplainblame
-rw-r--r--bug715.scala275logplainblame
-rw-r--r--bug729.check264logplainblame
-rw-r--r--bug729.scala510logplainblame
-rw-r--r--bug752.check150logplainblame
-rw-r--r--bug752.scala173logplainblame
-rw-r--r--bug765.check107logplainblame
-rw-r--r--bug765.scala126logplainblame
-rw-r--r--bug766.check114logplainblame
-rw-r--r--bug766.scala114logplainblame
-rw-r--r--bug779.check150logplainblame
-rw-r--r--bug779.scala141logplainblame
-rw-r--r--bug783.check193logplainblame
-rw-r--r--bug783.scala742logplainblame
-rw-r--r--bug798.check134logplainblame
-rw-r--r--bug798.scala142logplainblame
-rw-r--r--bug800.check429logplainblame
-rw-r--r--bug800.scala314logplainblame
-rw-r--r--bug835.check487logplainblame
-rw-r--r--bug835.scala100logplainblame
-rw-r--r--bug836.check171logplainblame
-rw-r--r--bug836.scala361logplainblame
-rw-r--r--bug845.check113logplainblame
-rw-r--r--bug845.scala279logplainblame
-rw-r--r--bug846.check154logplainblame
-rw-r--r--bug846.scala257logplainblame
-rw-r--r--bug856.check216logplainblame
-rw-r--r--bug856.scala250logplainblame
-rw-r--r--bug875.check663logplainblame
-rw-r--r--bug875.scala324logplainblame
-rw-r--r--bug876.check235logplainblame
-rw-r--r--bug876.scala497logplainblame
-rw-r--r--bug877.check239logplainblame
-rw-r--r--bug877.scala43logplainblame
-rw-r--r--bug882.check159logplainblame
-rwxr-xr-xbug882.scala119logplainblame
-rw-r--r--bug900.check483logplainblame
-rw-r--r--bug900.scala79logplainblame
-rw-r--r--bug908.check89logplainblame
-rw-r--r--bug908.scala216logplainblame
-rw-r--r--bug909.check186logplainblame
-rw-r--r--bug909.scala181logplainblame
-rw-r--r--bug910.check146logplainblame
-rw-r--r--bug910.scala167logplainblame
-rw-r--r--bug960.check420logplainblame
-rwxr-xr-xbug960.scala482logplainblame
-rw-r--r--bug961.check365logplainblame
-rwxr-xr-xbug961.scala270logplainblame
-rw-r--r--bug987.check648logplainblame
-rw-r--r--bug987.scala391logplainblame
-rw-r--r--bug997.check583logplainblame
-rwxr-xr-xbug997.scala442logplainblame
-rw-r--r--checksensible.check2488logplainblame
-rw-r--r--checksensible.scala810logplainblame
-rw-r--r--constrs.check847logplainblame
-rw-r--r--constrs.scala346logplainblame
-rw-r--r--divergent-implicit.check746logplainblame
-rw-r--r--divergent-implicit.scala411logplainblame
-rw-r--r--faculty.check194logplainblame
-rw-r--r--faculty.scala80logplainblame
-rw-r--r--forward.check372logplainblame
-rw-r--r--forward.scala313logplainblame
-rw-r--r--gadts1.check164logplainblame
-rw-r--r--gadts1.scala587logplainblame
-rw-r--r--higherkind_novalue.check286logplainblame
-rw-r--r--higherkind_novalue.scala154logplainblame
-rw-r--r--imp2.check159logplainblame
-rw-r--r--imp2.scala193logplainblame
-rw-r--r--implicits.check452logplainblame
-rw-r--r--implicits.scala337logplainblame
-rw-r--r--lazy-override.check439logplainblame
-rw-r--r--lazy-override.scala350logplainblame
-rw-r--r--lazyvals.check840logplainblame
-rw-r--r--lazyvals.scala730logplainblame
-rw-r--r--lubs.check884logplainblame
-rw-r--r--lubs.scala607logplainblame
-rw-r--r--mixins.check184logplainblame
-rw-r--r--mixins.scala92logplainblame
-rw-r--r--multi-array.check192logplainblame
-rw-r--r--multi-array.scala196logplainblame
-rw-r--r--nopredefs.check92logplainblame
-rw-r--r--nopredefs.scala84logplainblame
-rw-r--r--null-unsoundness.check224logplainblame
-rw-r--r--null-unsoundness.scala255logplainblame
-rw-r--r--overload.check275logplainblame
-rw-r--r--overload.scala105logplainblame
-rw-r--r--patmatexhaust.check1010logplainblame
-rw-r--r--patmatexhaust.scala1655logplainblame
-rw-r--r--patternalts.check148logplainblame
-rw-r--r--patternalts.scala160logplainblame
-rw-r--r--sabin2.check158logplainblame
-rw-r--r--sabin2.scala476logplainblame
-rw-r--r--saito.check196logplainblame
-rw-r--r--saito.scala216logplainblame
-rw-r--r--sensitive.check141logplainblame
-rw-r--r--sensitive.scala399logplainblame
-rw-r--r--structural.check1596logplainblame
-rw-r--r--structural.scala2662logplainblame
-rw-r--r--t0003.check275logplainblame
-rw-r--r--t0003.scala104logplainblame
-rw-r--r--t0015.check252logplainblame
-rw-r--r--t0015.scala367logplainblame
-rw-r--r--t0117.check220logplainblame
-rwxr-xr-xt0117.scala112logplainblame
-rw-r--r--t0152.check238logplainblame
-rwxr-xr-xt0152.scala272logplainblame
-rw-r--r--t0204.check134logplainblame
-rwxr-xr-xt0204.scala90logplainblame
-rw-r--r--t0207.check204logplainblame
-rwxr-xr-xt0207.scala49logplainblame
-rw-r--r--t0209.check145logplainblame
-rwxr-xr-xt0209.scala257logplainblame
-rw-r--r--t0214.check92logplainblame
-rwxr-xr-xt0214.scala87logplainblame
-rw-r--r--t0218.check114logplainblame
-rwxr-xr-xt0218.scala159logplainblame
-rw-r--r--t0226.check523logplainblame
-rwxr-xr-xt0226.scala261logplainblame
-rw-r--r--t0259.check266logplainblame
-rw-r--r--t0259.scala166logplainblame
-rw-r--r--t0345.check190logplainblame
-rwxr-xr-xt0345.scala234logplainblame
-rw-r--r--t0351.check148logplainblame
-rwxr-xr-xt0351.scala60logplainblame
-rw-r--r--t0503.check185logplainblame
-rw-r--r--t0503.scala56logplainblame
-rw-r--r--t0528neg.check203logplainblame
-rw-r--r--t0528neg.scala373logplainblame
-rw-r--r--t0590.check197logplainblame
-rw-r--r--t0590.scala49logplainblame
-rw-r--r--t0606.check148logplainblame
-rw-r--r--t0606.scala86logplainblame
-rw-r--r--t0764.check275logplainblame
-rw-r--r--t0764.scala292logplainblame
-rw-r--r--t0842.check149logplainblame
-rwxr-xr-xt0842.scala42logplainblame
-rw-r--r--t0899.check337logplainblame
-rw-r--r--t0899.scala198logplainblame
-rw-r--r--t0903.check130logplainblame
-rw-r--r--t0903.scala45logplainblame
-rw-r--r--t1009.check88logplainblame
-rw-r--r--t1009.scala52logplainblame
-rw-r--r--t1033.check95logplainblame
-rw-r--r--t1033.scala150logplainblame
-rwxr-xr-xt1049.check112logplainblame
-rwxr-xr-xt1049.scala185logplainblame
-rw-r--r--t1163.check364logplainblame
-rw-r--r--t1163.scala96logplainblame
-rw-r--r--t1168.check102logplainblame
-rw-r--r--t1168.scala71logplainblame
-rw-r--r--t1215.check101logplainblame
-rw-r--r--t1215.scala33logplainblame
-rw-r--r--t1371.check94logplainblame
-rw-r--r--t1371.scala19logplainblame
-rw-r--r--tcpoly_bounds.check182logplainblame
-rw-r--r--tcpoly_bounds.scala76logplainblame
-rw-r--r--tcpoly_override.check345logplainblame
-rw-r--r--tcpoly_override.scala196logplainblame
-rw-r--r--tcpoly_typealias.check1096logplainblame
-rw-r--r--tcpoly_typealias.scala846logplainblame
-rw-r--r--tcpoly_variance.check266logplainblame
-rw-r--r--tcpoly_variance.scala187logplainblame
-rw-r--r--tcpoly_variance_enforce.check4598logplainblame
-rw-r--r--tcpoly_variance_enforce.scala1095logplainblame
-rw-r--r--typeerror.check193logplainblame
-rw-r--r--typeerror.scala206logplainblame
-rw-r--r--unreachablechar.check122logplainblame
-rw-r--r--unreachablechar.scala165logplainblame
-rw-r--r--variances.check526logplainblame
-rw-r--r--variances.scala1574logplainblame
-rw-r--r--viewtest.check485logplainblame
-rw-r--r--viewtest.scala3167logplainblame
-rw-r--r--volatile-intersection.check179logplainblame
-rw-r--r--volatile-intersection.scala296logplainblame
-rw-r--r--volatile.check392logplainblame
-rw-r--r--volatile.scala424logplainblame
-rw-r--r--wellkinded_app.check108logplainblame
-rw-r--r--wellkinded_app.scala71logplainblame
-rw-r--r--wellkinded_app2.check119logplainblame
-rw-r--r--wellkinded_app2.scala89logplainblame
-rw-r--r--wellkinded_bounds.check186logplainblame
-rw-r--r--wellkinded_bounds.scala116logplainblame
-rw-r--r--wellkinded_wrongarity.check156logplainblame
-rw-r--r--wellkinded_wrongarity.scala95logplainblame
-rw-r--r--wellkinded_wrongarity2.check744logplainblame
-rw-r--r--wellkinded_wrongarity2.scala500logplainblame
-rw-r--r--xmlcorner.check241logplainblame
-rw-r--r--xmlcorner.scala363logplainblame
-rw-r--r--xmltruncated1.check113logplainblame
-rw-r--r--xmltruncated1.scala32logplainblame
-rw-r--r--xmltruncated2.check133logplainblame
-rw-r--r--xmltruncated2.scala42logplainblame
-rw-r--r--xmltruncated3.check149logplainblame
-rw-r--r--xmltruncated3.scala50logplainblame
-rw-r--r--xmltruncated4.check181logplainblame
-rw-r--r--xmltruncated4.scala66logplainblame
-rw-r--r--xmltruncated5.check103logplainblame
-rw-r--r--xmltruncated5.scala42logplainblame
-rw-r--r--xmltruncated6.check151logplainblame
-rw-r--r--xmltruncated6.scala52logplainblame