'result' unassigned in ensure.

[nevdelap]

use Cairo from Mono.Cairo

class Program

    def main
        pass

    def m1 as int
        ensure
            true implies result == 1 # OK
        body
            return 1

    def m2 as PointD
        ensure
            true implies result.x == 1 # error: Use of unassigned local variable "_lh_result"
        body
            return PointD(1, 1)

[Chuck]

Thanks for the report. That's definitely disconcerting. The use of "implies" is not required to trigger it, so:

use Cairo from Mono.Cairo

class Program

	def main
		pass

	def m1 as int
		ensure
			result == 1
		body
			return 1

	def m2 as PointD
		ensure
			result.x == 1  # false error: Use of unassigned local variable "_lh_result"
		body
			return PointD(1, 1)

[Chuck]

It's a struct thing which is why I never noticed it (my programs mostly use classes).

[Chuck]

Fixed in changeset:2426