check.literal¶
Materializes a typed scalar literal for reproducer inputs or expected values.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | Pure, ConstantLike, HasAnyAncestor(check.case, check.scenario) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Result | result |
scalar |
required | — |
| Attribute | value |
any | required | — |
Verification constraints¶
LiteralMatchesElementType(value, result)