Searched refs:is_sized (Results 1 – 1 of 1) sorted by relevance
1988 let is_sized: bool = kani::any(); in any() localVariable1990 match is_sized { in any()