adding vararg tests
adding vararg statement
added code for varargs. lets see if it works... the vanilla tests DONT look at arguments so SHOULD work as is.
cannot just add random function calls thanks to contexts, instantiation etc. hence adding type binding for arguments
why is overloading totally broken?
why is overloading totally broken?
uh oh.
sigh
convert G |- {v:B1|p1} <: {v:B2|p2} into G |- {v:B1|p1} <: {v:B1 | false}
asd
hack consExpr so that deadCast returns a NOTHING to kill the consGen if an arg is a DEADCAST
hacking consExpr: fix consScan
now consExpr also returns Nothing if expr is terminating -- e.g. due to DeadCast
negate tests seem to work now, lets see what breaks.
tweak neg-07
onto vararg tests
asd
lets see if + works
vararg-01.ts dies because of plus overload, and explicit casting crashes tsc ...
add MAYBE to tcNormalCall