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");
}
