variance annotations in doc hover