anchor.diff:                      | Some errMsg ->
                           addWarning com ctx.InlinePath r errMsg
                           Some arg
  -                    | None ->
  -                        List.zip (Array.toList fieldNames) exprs |> objExpr t |> Some
  +                    | None -> Some arg
               | _ -> Some arg
           | "op_Dynamic", [left; memb] -> getExpr r t left memb |> Some
           | "op_DynamicAssignment", [callee; prop; MaybeLambdaUncurriedAtCompileTime value] ->
  
positive.code:         | "op_BangHat", [arg] -> Some arg
          | "op_BangBang", [arg] ->
              match arg, i.GenericArgs with
              | Value(NewRecord(exprs, Fable.AnonymousRecord fieldNames, _),_),
                [_; (_,DeclaredType(ent, []))] when ent.IsInterface ->
                  // TODO: Check also if there are extra fields in the record not present in the interface?
                  (None, ent.MembersFunctionsAndValues) ||> Seq.fold (fun err memb ->
                      match err with
                      | Some _ -> err
                      | None ->
                          let expectedType =
                              if memb.IsPropertyGetterMethod then memb.ReturnParameter.Type
                              else memb.FullType
                              |> makeType com
                          Array.tryFindIndex ((=) memb.DisplayName) fieldNames
                          |> function
                              | None ->
  
negative.code:         | Some Types.equalityComparer -> IEqualityComparer
          | _ -> Other
      | _ -> Other
  
  let (|NewAnonymousRecord|_|) e =
      let rec inner bindings = function
          // The F# compiler may create some bindings of expression arguments to fix https://github.com/dotnet/fsharp/issues/6487
          | Let(newBindings, body) -> inner (bindings @ newBindings) body
          | Value(NewRecord(exprs, AnonymousRecord fieldNames, genArgs), r) ->
              Some(List.rev bindings, exprs, fieldNames, genArgs, r)
          | _ -> None
      inner [] e
  
  let coreModFor = function
      | BclGuid -> "String"
  