`Error: variable x is shadowing variable diag11425.main.x`
=>
`Error: variable x is shadowing declaration diag11425.main.x`