anchor.diff:      
       printfn "res = %A" <@ ClassNoArg.TestStaticSettableProp <- 5 @> 
       test "test3932q63" (match <@ ClassNoArg.TestStaticSettableProp <- 5 @> with PropertySet(None, _, [], Int32(5)) -> true | _ -> false)
  -    test "test3932q64" (match <@ ClassNoArg.TestStaticSettableIndexProp(4) <- 5 @> with PropertySet(None, _, [Int32(4)], Int32(5)) -> true | _ -> false)
  +    // Disabled, see https://github.com/fsharp/fsharp/issues/517
  +    // test "test3932q64" (match <@ ClassNoArg.TestStaticSettableIndexProp(4) <- 5 @> with PropertySet(None, _, [Int32(4)], Int32(5)) -> true | _ -> false)
       test "test3932r" (isMeth <@ ClassNoArg.TestStaticMethodOneArg(3) @>)
       test "test3932r" (isMeth <@ ClassNoArg.TestStaticMethodOneTupledArg((3,2)) @>)
       test "test3932r" (isMeth <@ ClassNoArg.TestStaticMethodOneTupledArg(p) @>)
  
positive.code:     test "test3932y" (isMeth <@ ClassNoArg.TestStaticMethodTwoArgs(3,4) @>)
  
      test "test3932u" (isPropGet <@ ClassNoArg().TestInstanceProp @>)
      test "test3932u" (isPropGet <@ ClassNoArg().TestInstanceIndexProp(4) @>)
      test "test3932q65" (match <@ ClassNoArg().TestInstanceIndexProp(4) @> with PropertyGet(Some _, _, [(Int32(4))]) -> true | _ -> false)
      test "test3932u" (isPropSet <@ ClassNoArg().TestInstanceSettableIndexProp(4) <- 5 @>)
      test "test3932q66" (match <@ ClassNoArg().TestInstanceSettableIndexProp(4) <- 5 @> with PropertySet(Some _, _, [(Int32(4))], Int32(5)) -> true | _ -> false)
      test "test3932i" (isMeth <@ ClassNoArg().TestInstanceMethodNoArgs() @>)
      test "test3932i" (isMeth <@ ClassNoArg().TestInstanceMethodOneArg(3) @>)
      test "test3932i" (isMeth <@ ClassNoArg().TestInstanceMethodOneTupledArg((3,4)) @>)
  
negative.code:     test "test3932g" (isMeth <@ ClassOneArg.TestStaticMethodTwoArgs(3,4) @>)
  
      test "test3932qA" (isPropGet <@ ClassOneArg(3).TestInstanceProp @>)
      // Disabled, see https://github.com/fsharp/fsharp/issues/517
      (*
      test "test3932qB" (isPropGet <@ ClassOneArg(3).TestInstanceIndexProp(4) @>)
      test "test3932qC" (isPropSet <@ ClassOneArg(3).TestInstanceSettableIndexProp(4) <- 5 @>)
      test "test3932qD" (isPropSet <@ ClassOneArg(3).TestInstanceSettableIndexProp2(4,5) <- 6 @>)
      test "test3932q77" (match <@ ClassOneArg(3).TestInstanceSettableIndexProp2(4,5) <- 6 @> with 
                          | PropertySet(Some _, _, [Int32(4); Int32(5)], Int32(6)) -> true 
                          | _ -> false)
      *)
  
      test "test3932wA" (isMeth <@ ClassOneArg(3).TestInstanceMethodNoArgs() @>)
      test "test3932wB" (isMeth <@ ClassOneArg(3).TestInstanceMethodOneArg(3) @>)
  