issue-58694-parameter-out-of-range.rs

//@ check-pass

trait Cert {
    type PublicKey<'a>: From<&'a [u8]>;
}

fn main() {}