Symbol: __reg_deduce_bounds