Eliding a name does not change its type