We have (well hidden) labelled breaks! So this can be

```rust
'outer: for variant in vs.iter() {
     for aty in variant.args.iter() {
          // ...
          if r != Representable { break 'outer }
     }
}
```