{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"args:"}]}
            args: &[],
        let bound_args = self.arena.alloc(hir::GenericArgs {
            constraints: arena_vec![self; self.assoc_ty_binding(assoc_ty_name, opaque_ty_span, output_ty)],