fix: Make kani attribute nameres work with generic args having ::#4427

tautschnig merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

ShoyuVanilla:segmented-param-resShoyuVanilla/kani:segmented-param-resCopy head branch name to clipboard