Skip to content
Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
19 lines (16 sloc) 197 Bytes
struct X
{
// protected:
int m = 5;
public:
int foo(int n)
[[ expects: n < m ]]
{
return n*n;
}
};
int main()
{
X().foo(10);
return 0;
}
You can’t perform that action at this time.