Bug in 10.5 (Declaration Binding Instantiation)?

# Andreas Rossberg (14 years ago)

Is it too late to incorporate errata for 5.1 already? :)

It seems that the algorithm specified in 10.5 is wrong. In order to make sense, and match the informal description at the beginning of Section 10.6, step 8 needs to take place before step 6. (Noticed by Steven Keuchel.)