assertions to cover no type, no ref