{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}));"}]}
        }));
            if unsizing_params.contains(i as u32) { b_args.get(i).unwrap() } else { a }
        let unsized_a_ty = Ty::new_adt(cx, def, new_a_args);