diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-08-28 13:27:45 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-08-28 13:27:45 +0100 |
| commit | 2111180763129d8a1a6956ff32e2b13bca2a5b72 (patch) | |
| tree | 67aae4c5961e1ec4887380e1ea0a52e5ca3c01fb /src/main/java | |
| parent | 8639d5524a49e1785df751cc3bda34a3cf130644 (diff) | |
Handle singleton ConstructedStructType
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/zwobble/hobgoblin/compiler/analysis/ArbitraryValueAnalysis.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/analysis/ArbitraryValueAnalysis.java b/src/main/java/org/zwobble/hobgoblin/compiler/analysis/ArbitraryValueAnalysis.java index 03cb732..650e753 100644 --- a/src/main/java/org/zwobble/hobgoblin/compiler/analysis/ArbitraryValueAnalysis.java +++ b/src/main/java/org/zwobble/hobgoblin/compiler/analysis/ArbitraryValueAnalysis.java @@ -84,8 +84,7 @@ public class ArbitraryValueAnalysis { case ConstructedStructType constructedStructType -> { var fields = typesInfo.fieldsOf(constructedStructType.constructor().genericType()) - // TODO: better error - .orElseThrow(); + .orElse(List.of()); var usedTypeParams = new HashSet<TypeParam>(); for (var field : fields) { arbitraryValue(field.type(), typesInfo).collectTypeParams(usedTypeParams); |