diff options
| author | finn <canadienfinn@gmail.com> | 2023-06-13 22:07:01 +0200 |
|---|---|---|
| committer | finn <canadienfinn@gmail.com> | 2023-06-13 22:07:01 +0200 |
| commit | ec32967daab5136fc2518f4068e7007e265c4e92 (patch) | |
| tree | 3dc80b5c6e38ecdcce53e6246d7628a4878276e0 /src/check_expr.cpp | |
| parent | fc4a5e61c27467b30a421bceb7d21ac29ef8468e (diff) | |
[check-type] fix faulty #no_nil variants error
- when checking the variants of a union type we will skip adding
the variants if we have an unspecialized polymorphic, hence our
union_type variants will be empty and have a count of 0
- so when checking if we violate the #no_nil error, if we are in the
unspecialized polymorphic case and there exists at least one variant
in the original variants then we should not raise this error
- test checks that we do not raise the error anymore, and that we still
detect the #no_nil error in the described circumstances
Diffstat (limited to 'src/check_expr.cpp')
0 files changed, 0 insertions, 0 deletions