Yes, that's how it should work. It is not how it works in today's rustc.