ObjectiveC migrator: Another test for my last patch.
// rdar://15044991