slang/tests/F_one_definition_rule3/def2.rs

#pragma version(1)
#pragma rs java_package_name(foo)

// expected-error: different type
typedef struct DifferentDefinition3{
	int member1;
	int member2;
} DifferentDefinition3;

DifferentDefinition3 o3;