anchor.diff:                      Some tyconRef
                   else
                       None
  +            | _ -> None
  +        | _ -> None
  +
  +    let (|ItemIsWithStaticArguments|_|) m g item =
  +        match item with
  +        | Item.Types(_name,tys) ->
  +            match tys with
  +            | [AppTy g (tyconRef,_typeInst)] ->
  +                if tyconRef.IsProvidedErasedTycon || tyconRef.IsProvidedGeneratedTycon then
  +                    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)
  +                    Some staticParameters
  +                else
  +                    None
  +            | _ -> None
  +        | Item.MethodGroup(_name,[minfo]) ->
  +            match minfo.ProvidedStaticParameterInfo  with 
  +            | Some (_,staticParameters) -> Some staticParameters
               | _ -> None
           | _ -> None
   #endif
  
positive.code:         (args,argsL) ||> List.zip |> List.map mkParam
  
  #if EXTENSIONTYPING
      let (|ItemIsTypeWithStaticArguments|_|) g item =
          match item with
          | Item.Types(_name,tys) ->
              match tys with
  
negative.code:                         let pinfo = List.head pinfos 
                          if pinfo.IsIndexer then [item] else []
  #if EXTENSIONTYPING
                      | Params.ItemIsWithStaticArguments m g _ -> [item] // we pretend that provided-types-with-static-args are method-like in order to get ParamInfo for them
  #endif
                      | Item.CustomOperation(_name, _helpText, _minfo) -> [item]
                      | Item.TypeVar _ -> []
  