Missing Arity Checks for Weak Type Args in Constriants

[d-xo]

See the class defined here:

solcore/std/std.solc

Line 1226 in 750a726

class self:StructField(fieldType, offsetType) {}

And the usage here:

solcore/std/std.solc

Line 1279 in 750a726

. StructField(ContractStorage(cxt), fieldSelector):StructField(fieldType, storageType, offsetType)

sol-core does not throw an error when typechecking std.solc

[rodrigogribeiro]

Fixed in #259.