Expand description
Generic type candidate discovery for generic contract checks. Generic-parameter helper for Senryx layout-sensitive checks.
The current implementation maps selected generic trait bounds to a finite set of representative concrete types. Alignment and size checks use these representatives when a contract mentions a generic type.
Structsยง
- Generic
Checker - Computes representative concrete types for generic parameters.