[Bug c++/124486] [contracts] Missing restriction on defaulted and deleted functions

[dinka.ranns at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124486

--- Comment #1 from Nina Ranns <dinka.ranns at gmail dot com> ---
picking this up.