add Object type to reg variance
todo: check 'def' is lazy declaration or not