{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":")"}]}
) -> Result<(), ErrorGuaranteed> {
    adt_to_impl_args: GenericArgsRef<'tcx>,
    let infcx = tcx.infer_ctxt().build(TypingMode::non_body_analysis());