Has anyone proposed labelled template parameters, e.g., to replace the comment in the following:

checkSomething</*writable=*/true>(x);