slang/tests/F_one_definition_rule7/def1.rs

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

// expected-error: different typedef
typedef int Type1;
typedef struct DifferentDefinition7{
	Type1 member1;
} DifferentDefinition7;

DifferentDefinition7 o7;