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

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

tautschnig merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

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