slang/tests/F_one_definition_rule2/def1.rs

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

// expected-error: different number of members
typedef struct DifferentDefinition2{
	int member1;
} DifferentDefinition2;

DifferentDefinition2 o2;