Possible resolution of KT-68543 (Add explanation about declaration checks of variant type parameters)#136