c++ - 类模板参数推导（CTAD）应该在模块内工作吗？

Question

给定以下模块

// mod.cpp
export module mod;

export template<typename T>
struct something
{
    constexpr something(T){}
};


export template<typename T>
constexpr auto make_something(T t)
{
    return something{t}; // uses CTAD
}

用clang编译： clang++ -std=c++20 -stdlib=libc++ -fmodules -c -Xclang -emit-module-interface -o mod.pcm mod.cpp

以及以下应用程序代码：

import mod;

int main()
{
        constexpr auto x = make_something(7);
}

编译： clang++ -std=c++20 -stdlib=libc++ -fmodules -fimplicit-modules -fimplicit-module-maps -fprebuilt-module-path=. main.cpp

后者失败并显示以下错误消息：

In file included from main.cpp:1:
mod.cpp:13:12: error: no viable constructor or deduction guide for deduction of template arguments of 'something'
    return something{t}; // uses CTAD
           ^
main.cpp:5:28: note: in instantiation of function template specialization 'make_something<int>' requested here
        constexpr auto x = make_something(7);
                           ^
1 error generated.

当然，我可以更改模块代码并指定模板参数。但是，我想知道：

模块代码或编译器错误是否会出现这种行为？