Minigent tests failed

[zilinc]

Relevant log:

Failed: examples/0_basics/08-occurs-check
Standard error output differed from expectations. The compiler produced:
Typecheck failed in function ambiguous
 •  𝛇 :=: 𝛇
 •  𝛇 :=: 𝛇
 •  𝛇 :=: 𝛇
 •  𝛇 :=: 𝛇
 •  𝛇 :=: 𝛇
 •  𝛇 :=: 𝛇
Typecheck failed in function bad
 •  𝛍 -> 𝛍 :=: a
 •  Drop a
But the test expects:
Typecheck failed in function ambiguous
 •  𝛇 :< 𝛇
 •  𝛇 :< 𝛇
 •  𝛇 :< 𝛇
 •  𝛇 :< 𝛇
 •  𝛇 :< 𝛇
 •  𝛇 :< 𝛇
Typecheck failed in function bad
 •  𝛍 -> 𝛍 :=: a
 •  Drop a

Failed: examples/3_records/04-double-take
Standard error output differed from expectations. The compiler produced:
Typecheck failed in function foo
 •  {x : Foo take}# :=: {x : Foo}#
 •  {}# :=: {x : Foo}#
But the test expects:
Typecheck failed in function foo
 •  {x : Foo take}# :< {x : Foo,𝛈...}#
 •  Drop {x : Foo take,𝛈...}#
Passed: examples/4_variants/01-basic
Passed: examples/4_variants/02-sharing
Failed: examples/4_variants/03-subtyping
Standard error output differed from expectations. The compiler produced:
Typecheck failed in function notExhaustive
 •  Exhausted <A U8 take|B U8>
Typecheck failed in function wrong
 •  <A U8|B Buf|C {x : U8 take}> :< <A U8 take|B Buf take|C {x : U8} take>
Typecheck failed in function wrongConstructors
 •  Exhausted <A U8 take|B U8|X U8 take|Y U8 take>
 •  <> :=: <X U8|Y U8>
But the test expects:
Typecheck failed in function notExhaustive
 •  Exhausted <A U8 take|B U8>
Typecheck failed in function wrong
 •  <A U8|B Buf|C {x : U8 take}> :< <A U8 take|B Buf take|C {x : U8} take>
Typecheck failed in function wrongConstructors
 •  <A U8 take|B U8> :< <X U8|𝛗...>
 •  <X U8 take|𝛗...> :< <Y U8|𝛙...>
 •  Exhausted <Y U8 take|𝛙...>

P.S. I yet need to understand it before I dare to touch anything (and fix it myself).

[liamoc]

The expected tests are out of date, that's weird. I updated it. Fixed in #12763