slang/tests/F_one_definition_rule2/def2.rs

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

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

DifferentDefinition2 o2;