Apakah T harus merupakan tipe yang lengkap untuk digunakan dalam `std :: declval <T>`?
Pertimbangkan contoh ini (datang dari sini ): #include <type_traits> #include <iostream> template <typename U> struct A { }; struct B { template <typename F = int> A<F> f() { return A<F>{}; } using default_return_type =