Goose  Artifact [bdd7f424a7]

Artifact bdd7f424a7f9a940e2f8418935949ba775739e8e3465b95ded6ddd991d9ee605:

• File tests/noprelude/function/e-fail-template-instantiation-context.txt — part of check-in [5e757567a6] at 2021-03-01 12:32:32 on branch trunk — Reorganized tests, they are now grouped by language feature. (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.