No, this is wrong. We already handle reuse earlier in the function; your change would cause us to use an unqualified type where what we want is a qualified type. Jason