TP0207

Error: shadowing an outer binding

Messages

• '<x>' shadows an outer binding

Example

From the golden case tests/cases/m12/tp0207_tuples.tpn:

tp0207_tuples.tpn

let a = 1
if True:
    let a, b = (1, 2)
let c, c = (1, 2)

The compiler reports:

tp0207_tuples.tpn:3:9: error TP0207: 'a' shadows an outer binding
tp0207_tuples.tpn:4:8: error TP0214: duplicate definition of 'c'

The specification lists every code.