ChuanqiXu9 wrote:

> IIUC, we should diag on this:
> 
> ```c++
> struct A {
>   virtual void f();
> };
> struct B : A {
>   void f() pre(true) override; // error: pre(true) should after override.
> };
> ```
> 
> [class.mem]/p11.4.1:
> 
> ```
> member-declarator:
>   declarator virt-specifier-seq[opt] function-contract-specifier-seq[opt] 
> pure-specifier[opt]
>   declarator requires-clause function-contract-specifier-seq[opt]
> ```

Done

https://github.com/llvm/llvm-project/pull/221139
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to