anchor.diff:          | "op_BangHat", [arg] -> Some arg
           | "op_BangBang", [arg] ->
               match arg, i.GenericArgs with
  -            | Value(NewRecord(exprs, Fable.AnonymousRecord fieldNames, _),_),
  +            | NewAnonymousRecord(_, exprs, 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 ->
  +                (None, ent.MembersFunctionsAndValues |> Seq.filter (fun memb -> memb.IsPropertyGetterMethod))
  +                ||> 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
  +                        let expectedType = memb.ReturnParameter.Type |> makeType com
                           Array.tryFindIndex ((=) memb.DisplayName) fieldNames
                           |> function
                               | None ->
  
positive.code:                     | Some errMsg ->
                          addWarning com ctx.InlinePath r errMsg
                          Some arg
                      | None ->
                          List.zip (Array.toList fieldNames) exprs |> objExpr t |> Some
              | _ -> Some arg
          | "op_Dynamic", [left; memb] -> getExpr r t left memb |> Some
          | "op_DynamicAssignment", [callee; prop; MaybeLambdaUncurriedAtCompileTime value] ->
  
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"
  