Expand description
Generic-parameter helpers for layout-sensitive verify checks.
This is the verify-side version of the old Senryx generic helper. It maps selected generic trait bounds to a finite set of representative concrete types, so SMT lowering can reason about layout requirements that mention generic parameters.
Structs§
- Generic
Type Candidates - Representative concrete types satisfying generic trait bounds.