Register allocation should return requested type