[#5312] Remove @cover annotation