Yep, it was intended to avoid creating dummies and to just discard them moments later. One less `Symbol#tpe` in the world now...