Yes, except that compiler and IDE should be aware ...

# language-proposals

[dmitry.petrov]

Yes, except that compiler and IDE should be aware of "original" (non-expanded) signatures - for diagnostics, navigation, and so on.