{"ast_node_type":"variable","tokens":[{"end":34,"kind":"keyword","start":0,"text":"let"}]}
    let mut requirements = vec![];
    let cx = ecx.cx();
    // Elaborating all supertrait outlives obligations here is not soundness critical,