//- @deprecated- -- Use- fullnamecourse- or- fullnameuser- or- some- own- context- specific- string.

The above generates the following

Inline comments must start with a capital letter, digit or 3-dots sequence

Changing // to /* makes the error go away but its not ideal.