I thought it is essentially a kind of enhancement, not a fail-compilation case. So this is just a note.