Default_Args_Spec failing with 'absurd' type error if run directly

[radeusgd]

I've found a weird case - seems to be reproducible on current develop. When we run the tests through Main.enso - they pass nicely:

> ensoup run .\test\Base_Tests\ -- "Atom Constructors"
4 tests succeeded.
0 tests failed.
0 tests skipped.
0 groups skipped.

However, when we run the Default_Args_Spec.enso file directly:

> ensoup run .\test\Base_Tests\src\Semantic\Default_Args_Spec.enso
[FAILED] Atom Constructors: [2/4, 475ms]

    - [FAILED] should be allowed to use non-primitive default arguments [175ms]
        Reason: An unexpected panic was thrown: Type error: expected `b` to be Box, but got Box.
        at <enso> Bar.B(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:12:5-67)
        at <enso> D.D(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:21:14-20)
        at <enso> Default_Args_Spec.add_specs.Default_Args_Spec.add_specs<arg-1>(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:55:17-21)
        at <enso> case_branch.case <internal-22>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Group.enso:30:61-64)
        at <enso> Helpers.execute_spec_code<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:57:18-34)
        at <enso> Panic.catch(Internal)
        at <enso> Panic.type.recover.<internal-3082>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Panic.enso:192-194)
        at <enso> Panic.catch(Internal)
        at <enso> Panic.type.recover(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Panic.enso:189-194)
        at <enso> Helpers.execute_spec_code(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:56-60)
        at <enso> case_branch<arg-3>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:48:37-63)
        at <enso> case_branch<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:48:13-64)
        at <enso> Runtime.no_inline(Internal)
        at <enso> Duration.type.time_execution(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Time\Duration.enso:131:18-43)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:47-48)
        at <enso> Helpers.run_spec(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:46-49)
        at <enso> case_branch.test_results(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:27:24-36)
        at <enso> Array_Like_Helpers.map.Array_Like_Helpers.map(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:232:56-77)
        at <enso> Array_Like_Helpers.vector_from_function(Internal)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:24-30)
        at <enso> Helpers.run_specs_from_group(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:21-36)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:97:35-92)
        at <enso> Suite.run_with_filter.junit_sb_builder(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:95-101)
        at <enso> Array_Like_Helpers.each.Array_Like_Helpers.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:272:9-24)
        at <enso> Range.each.go<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:263:36-51)
        at <enso> Range.each.go<arg-2>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:263:21-52)
        at <enso> Range.each.go(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:262-264)
        at <enso> Range.each<arg-2>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:265:13-25)
        at <enso> Range.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:259-265)
        at <enso> Array_Like_Helpers.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:271-272)
        at <enso> Vector.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Vector.enso:817:9-38)
        at <enso> Suite.run_with_filter<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:92-101)
        at <enso> Test_Reporter.wrap_junit_testsuites(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Test_Reporter.enso:29:14-19)
        at <enso> Suite.run_with_filter(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:91-101)
        at <enso> Default_Args_Spec.main(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:92:5-32)


    - [FAILED] apply defaulted arguments that are themselves fully defaulted [8ms]
        Reason: An unexpected panic was thrown: Type error: expected `b` to be Box, but got Box.
        at <enso> Bar.B(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:12:5-67)
        at <enso> G.G(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:27:13-17)
        at <enso> Default_Args_Spec.add_specs.Default_Args_Spec.add_specs<arg-0>(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:67:13-15)
        at <enso> Default_Args_Spec.add_specs.Default_Args_Spec.add_specs<arg-1>(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:67:13-66)
        at <enso> case_branch.case <internal-22>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Group.enso:30:61-64)
        at <enso> Helpers.execute_spec_code<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:57:18-34)
        at <enso> Panic.catch(Internal)
        at <enso> Panic.type.recover.<internal-3082>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Panic.enso:192-194)
        at <enso> Panic.catch(Internal)
        at <enso> Panic.type.recover(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Panic.enso:189-194)
        at <enso> Helpers.execute_spec_code(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:56-60)
        at <enso> case_branch<arg-3>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:48:37-63)
        at <enso> case_branch<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:48:13-64)
        at <enso> Runtime.no_inline(Internal)
        at <enso> Duration.type.time_execution(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Time\Duration.enso:131:18-43)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:47-48)
        at <enso> Helpers.run_spec(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:46-49)
        at <enso> case_branch.test_results(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:27:24-36)
        at <enso> Array_Like_Helpers.map.Array_Like_Helpers.map(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:232:56-77)
        at <enso> Array_Like_Helpers.vector_from_function(Internal)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:24-30)
        at <enso> Helpers.run_specs_from_group(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:21-36)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:97:35-92)
        at <enso> Suite.run_with_filter.junit_sb_builder(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:95-101)
        at <enso> Array_Like_Helpers.each.Array_Like_Helpers.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:272:9-24)
        at <enso> Range.each.go<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:263:36-51)
        at <enso> Range.each.go<arg-2>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:263:21-52)
        at <enso> Range.each.go(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:262-264)
        at <enso> Range.each<arg-2>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:265:13-25)
        at <enso> Range.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:259-265)
        at <enso> Array_Like_Helpers.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:271-272)
        at <enso> Vector.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Vector.enso:817:9-38)
        at <enso> Suite.run_with_filter<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:92-101)
        at <enso> Test_Reporter.wrap_junit_testsuites(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Test_Reporter.enso:29:14-19)
        at <enso> Suite.run_with_filter(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:91-101)
        at <enso> Default_Args_Spec.main(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:92:5-32)


4 tests succeeded.
2 tests failed.
0 tests skipped.
0 groups skipped.

Failed tests: 'should.be.allowed.to.use.non-primitive.default.arguments|apply.defaulted.arguments.that.are.themselves.fully.defaulted'

Note that the type error says:

Type error: expected `b` to be Box, but got Box.

which just doesn't make any sense.

[radeusgd]

I've added -compiler label as I suspect it is an issue somewhere in the interpreter, not in the tests.

[JaroslavTulach]

I've added -compiler label as I suspect it is an issue somewhere in the interpreter, not in the tests.

Probably. Putting a breakpoint in PanicException constructor would tell us more.