Fix "opaquees" in error message

This commit is contained in:
Richard Feldman 2024-09-15 07:21:28 -04:00
parent 8c737868aa
commit 87b7bb1fac
No known key found for this signature in database
GPG key ID: 5DE4EE30BB738EDF
3 changed files with 10 additions and 3 deletions

View file

@ -10971,7 +10971,7 @@ All branches in an `if` must have the same type!
4 Recursive := [Infinitely Recursive]
^^^^^^^^^
Recursion in opaquees is only allowed if recursion happens behind a
Recursion in opaques is only allowed if recursion happens behind a
tagged union, at least one variant of which is not recursive.
"
);