Correct. This is what happens today, except for the special case of `_`