barencoder: subtyping overflow

[lcnr]

https://crater-reports.s3.amazonaws.com/pr-133502-4/try%230c7fed2b7584d310ca8221267fa1b3bec4df427f/reg/webauthn-authenticator-rs-0.5.1/log.txt

#![recursion_limit = "16"]
fn main() {
    match 0 {
        0 => None,
        1 => None,
        2 => None,
        3 => None,
        4 => None,
        5 => None,
        6 => None,
        7 => None,
        8 => None,
        9 => None,
        10 => None,
        11 => None,
        12 => None,
        13 => None,
        14 => None,
        15 => None,
        16 => None,
        17 => None,
        _ => Some(1u32),
    };
}

succeeds with old solver, fails with

error[E0275]: overflow assigning `_` to `u32`
 --> src/main.rs:4:14
  |
4 |         0 => None,
  |              ^^^^
  |
  = help: consider increasing the recursion limit by adding a `#![recursion_limit = "32"]` attribute to your crate (`main`)

[compiler-errors]

that is so funny