Goose  Artifact [350ab96427]

Artifact 350ab96427d58136e77d39e4ab8017b53c6af5dd61c8f68072c4c558378c42f7:

• File tests/noprelude/function/e-fail-template-instantiation-context.txt — part of check-in [3ca76452a1] at 2021-03-04 23:22:02 on branch trunk — Improved diagnostics rendering a little (user: achavasse size: 763)

tests/noprelude/function/e-fail-template-instantiation-context.g:
   14 |     return 5454
      |            ^^^^
      | Error: return value type mismatch.
     ...
   12 | ct_string someFunc( $T x )
      | ~~~~~~~~~~~~~~~~~~~~~~~~~~
      | In the template function declared here.
     ...
   17 | if !check( higherTpl( someFunc, "meh" ) == "higher: someFunc2: meh", "higher order template test 2" )
      |                       ~~~~~~~~
      |                  Instantiated here.

tests/noprelude/function/e-fail-template-instantiation-context.g:
   17 | if !check( higherTpl( someFunc, "meh" ) == "higher: someFunc2: meh", "higher order template test 2" )
      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
      |         Error: function arguments mismatch.