cor3ntin wrote:

@Endilll "the program is ill-formed if overload resolution fails" means that 
there must be exactly one valid prospective destructor.

So this is perfectly fine ```cpp

template <typename T>
struct S {
    ~S() = default;
    ~S() requires false;
};
S<int> s;
```

https://github.com/llvm/llvm-project/pull/101807
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to