Ignore 'Never' type in super-type calculation for hetergeneous types

onflow · Jul 25, 2024 · 5e772b0 · 5e772b0
1 parent 6fa876b
commit 5e772b0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/runtime/sema/type_tags.go b/runtime/sema/type_tags.go
@@ -997,6 +997,11 @@ func commonSuperTypeOfHeterogeneousTypes(types []Type) Type {
 	var hasStructs, hasResources, allHashableStructs bool
 	allHashableStructs = true
 	for _, typ := range types {
+		// Ignore 'Never' type as it doesn't affect the supertype.
+		if typ == NeverType {
+			continue
+		}
+
 		isResource := typ.IsResourceType()
 		hasResources = hasResources || isResource
 		hasStructs = hasStructs || !isResource