public void SingleStrictStructMember() { // 0 2 1 //y:int = a . name var graph = new GraphBuilder(); graph.SetVar("a", 0); graph.SetFieldAccess(0, 2, "name"); graph.SetVarType("y", StatePrimitive.I32); graph.SetDef("y", 2); var result = graph.Solve(); result.AssertNoGenerics(); result.AssertNamed(StateStruct.WithField("name", StatePrimitive.I32), "a"); result.AssertNamed(StatePrimitive.I32, "y"); }