code: protected boolean isMatchingFirstParameterDeepCheck(JvmOperation feature) {
  		if (isMatchingFirstParameter(feature)) {
  			if (isResolvedReceiverType()) {
  				LightweightTypeReference parameterType = argumentType.getOwner().toLightweightTypeReference(feature.getParameters().get(0).getParameterType());
  				if (isResolvedOrKnownTypeParam(parameterType) && !parameterType.isAssignableFrom(argumentType)) {
  					return false;
  				}
  			}
  			return true;
  		}
  		return false;
  	}
docs: Check the type of the first parameter against the argument type rather
  than the {@link #rawArgumentType}. Should not be used during linking
  since we need proper error messages there for type mismatches.