anchor.diff:          .zip<hir.CandyType, MapEntry<hir.CandyType, hir.CandyType>>(
               typeArguments, (a, b) => MapEntry(a, b)));
       functionHir = functionHir.copyWith(
  -      valueParameters: functionHir.valueParameters
  -          .map((parameter) => parameter.copyWith(
  -              type: parameter.type.bakeGenerics(genericsMap)))
  -          .toList(),
  -      returnType: functionHir.returnType.bakeGenerics(genericsMap),
  +      valueParameters: [
  +        for (var i = 0; i < functionHir.valueParameters.length; i++)
  +          functionHir.valueParameters[i].copyWith(
  +            type: targetType.parameterTypes[i].bakeGenerics(genericsMap),
  +          ),
  +      ],
  +      returnType: targetType.returnType.bakeGenerics(genericsMap),
       );
       stderr.writeln('Fresh from the oven: $functionHir');
   
  
positive.code:     List<hir.PropertyIdentifier> getMatchesForType(hir.UserCandyType type) {
        final receiverId =
            moduleIdToDeclarationId(queryContext, type.virtualModuleId);
        return getInnerDeclarationIds(queryContext, receiverId)
            .where((id) => id.simplePath.last.nameOrNull == name)
            .mapNotNull((id) {
  
negative.code:           if (propertyHir.isStatic) return null;
            return hir.PropertyIdentifier(
              id,
              propertyHir.type.bakeThisType(type).bakeGenerics(genericsMap),
              base: target,
              receiver: target,
            );
  