anchor.diff:          (args,argsL) ||> List.zip |> List.map mkParam
   
   #if EXTENSIONTYPING
  -    let (|ItemIsTypeWithStaticArguments|_|) g item =
  +
  +    let (|ItemIsProvidedType|_|) g item =
           match item with
           | Item.Types(_name,tys) ->
               match tys with
  
positive.code:               let fail defaultReason = 
                    match item with            
  #if EXTENSIONTYPING
                    | Params.ItemIsTypeWithStaticArguments g (tcref) -> FindDeclResult.DeclNotFound (FindDeclFailureReason.ProvidedType(tcref.DisplayName))
                    | Item.CtorGroup(name, ProvidedMeth(_)::_)
                    | Item.MethodGroup(name, ProvidedMeth(_)::_)
                    | Item.Property(name, ProvidedProp(_)::_) -> FindDeclResult.DeclNotFound (FindDeclFailureReason.ProvidedMember(name))
  
negative.code:                     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
  