{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"output_decl.ty,"}]}
            output_decl.ty,
        self.ascribe_user_type_skip_wf(
            ty::UserType::new(ty::UserTypeKind::Ty(user_provided_sig.output())),