/test-beta/type_inference/