{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"output_decl.source_info.span,"}]}
            output_decl.source_info.span,
            ty::UserType::new(ty::UserTypeKind::Ty(user_provided_sig.output())),
        );