We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 66aec6d commit e260f98Copy full SHA for e260f98
kmir/src/kmir/kdist/mir-semantics/rt/data.md
@@ -1468,6 +1468,9 @@ Zero-sized types can be decoded trivially into their respective representation.
1468
// zero-sized array
1469
rule <k> #decodeConstant(constantKindZeroSized, _TY, typeInfoArrayType(_, _))
1470
=> Range(.List) ... </k>
1471
+ // zero-sized function item (e.g., closures without captures)
1472
+ rule <k> #decodeConstant(constantKindZeroSized, _TY, typeInfoFunType(_))
1473
+ => Aggregate(variantIdx(0), .List) ... </k>
1474
```
1475
1476
Allocated constants of reference type with a single provenance map entry are decoded as references
0 commit comments