the definition and not in the type. (This case only happens if there is an &key in the type, since otherwise we punt before them.)
the definition and not in the type. (This case only happens if there is an &key in the type, since otherwise we punt before them.)