# CHECK-NOT: AssertionError