IsRecdFieldAccessible amap m AccessibleFromEverywhere rfinfo.RecdFieldRef&&

not rfinfo.LiteralValue.IsSome&&

not rfinfo.RecdField.IsCompilerGenerated->

Some(TTraitSolvedRecdProp(rfinfo, isSetProp))

Some(rfinfo, isSetProp)

|_-> None)

match propswith

|[ prop]-> Some prop

CollectThenUndo(fun trace-> ResolveOverloading csenv(WithTrace(trace)) nm ndeeptrue(0,0) AccessibleFromEverywhere calledMethGroupfalse(Some rty))

match recdPropSearch, methOverloadResultwith

| Some a, None->

ResultD a

| Some(rfinfo, isSetProp), None->

letrty2=if isSetPropthen g.unit_tyelse rfinfo.FieldType

SolveTypEqualsTypKeepAbbrevs csenv ndeep m2 trace rty rty2++(fun()->

ResultD(TTraitSolvedRecdProp(rfinfo, isSetProp)))

| None, Some(calledMeth:CalledMeth<_>)->

check"ckjwnewk"(f8())(System.TimeSpan.FromSeconds2.0)// after mutation

check"ckjwnewk"(f10())"Gary"

typehober<'a>={ foo:'a}

let inlineprint_foo_memb x= box(^a:(memberfoo: 'b) x)

letv= print_foo_memb{ foo=1}

ifnot failures.IsEmptythen(printfn"Test Failed, failures =%A" failures; exit1)