group.refine
← group dialect
Assert more precise shape information for the same participant domain. Source and result describe the same value and ownership identity; this operation performs no conversion or copy.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure, RefinableResultTypeRefs, FactIdentity |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source |
group |
required |
Value to refine. |
| Result |
result |
group |
required |
Same value with refined type information. |
Verification constraints
RanksMatch(source, result)
Examples
%refined = group.refine %source : group<[%count]> -> group<16>