Reproducer for rdar://14822544