// Matches
@interface I1 {
  int ivar1;
}
@end

// Matches
@interface I2 : I1 {
  float ivar2;
}
@end

// Ivar mismatch
@interface I3 {
  int ivar1;
  int ivar2;
}
@end

// Superclass mismatch
@interface I4 : I2 {
}
@end