// #failed: resolve
// #error: duplicate proc argument 'a'
A :: proc(a: int, a: int) {
}