Default arguments do not compile to Libra

[egroge]

The following issue appears in flintlang/flint-2/master and returns a fatal error. When writing a function that operates on a struct, the use of a default parameter causes the code generation to fail. Note that this issue only appears when compiling with libra as the target.

struct SomeStruct {
    public var width: Int

    // Works
    public func increaseWidth(arg: Int) {
        self.width = self.width + arg
    }

    // Also works (so it does not seem to be an issue of having access to self)
    public func increaseWidth(arg: Int) {}

    // Does not work (using an int literal in place of width has the same effect)
    // replacing width with self.width also does not work
    public func increaseWidth(arg: Int = width) {}
}

[mrRachar]

Just to check, I'm imagining that ...(arg: Int = self.width) also doesn't work.

[egroge]

Yes you are correct, I have updated the issue