anchor.diff:              let (SigOfFunctionForDelegate(_, _, _, fty)) = GetSigOfFunctionForDelegate infoReader delty m AccessibleFromSomeFSharpCode
               ParamsOfParamDatas g denv [ParamData(false, false, NotOptional, None, ReflectedArgInfo.None, fty)] delty
   #if EXTENSIONTYPING
  -        | ItemIsTypeWithStaticArguments g tyconRef ->
  -            // similar code to TcProvidedTypeAppToStaticConstantArgs 
  -            let typeBeforeArguments = 
  -                match tyconRef.TypeReprInfo with 
  -                | TProvidedTypeExtensionPoint info -> info.ProvidedType
  -                | _ -> failwith "unreachable"
  -            let staticParameters = typeBeforeArguments.PApplyWithProvider((fun (typeBeforeArguments,provider) -> typeBeforeArguments.GetStaticParameters(provider)), range=m) 
  -            let staticParameters = staticParameters.PApplyArray(id, "GetStaticParameters",m)
  +        | ItemIsWithStaticArguments m g staticParameters ->
               staticParameters 
                   |> Array.map (fun sp -> 
                       let typ = Import.ImportProvidedType amap m (sp.PApply((fun x -> x.ParameterType),m))
  
positive.code:                     Some tyconRef
                  else
                      None
              | _ -> None
          | _ -> None
  #endif
  
negative.code:         (args,argsL) ||> List.zip |> List.map mkParam
  
  #if EXTENSIONTYPING
  
      let (|ItemIsProvidedType|_|) g item =
          match item with
          | Item.Types(_name,tys) ->
              match tys with
  