Return-type based SFINAE detection doesn't output any requires clause

[anarthal]

If SFINAE is used in the return type, the relevant std::enable_if is stripped, but no requires clause is output:

#include <type_traits>

namespace boost::mysql {

template <typename T>
std::enable_if_t<std::is_class_v<T>, int> f();

}  // namespace boost::mysql

Renders:

$> mrdocs --version
MrDocs
    C++ Documentation Tool
    version: 0.0.3
    build: 93d5d102c39b093d402ae3f95302fd734c8de616
    built with LLVM 20.0.0git

[alandefreitas]

This worked in develop so it's probably been fixed since 93d5d10 and there's something else causing this problem. We already have tests for return-type based sfinae. In any case, I added one more test:

// issue #849

#include <type_traits>

template <typename T>
std::enable_if_t<std::is_class_v<T>, int> f();

Result:

Reference

Global namespace

Functions

Name
f

f

Synopsis

Declared in <return-based.cpp>

template<typename T>
int
f()
requires std::is_class_v<T>;

Created with MrDocs

[anarthal]

Confirming this works in develop. Thanks.