Custom Query (146 matches)

trait is_a_thing(otype T) {
	T & ?=?( T &, T );
};

forall(otype T | is_a_thing(T))
T foo();

results in an error with no line number:

error: duplicate function definition for ?=?: pointer to function
... with parameters
  reference to instance of type T (not function type) 
  instance of type T (not function type) 
... returning 
  _retval__operator_assign: reference to instance of type T (not function type) 
  ... with attributes: 
    Attribute with name: unused

struct S { int i, j; };
void ?{}( S & s, int i, int j );
void ?{}( S & s, zero_t );

int main() {
    typeof((S){10,10}) s = 0;
}

struct S { int i, j; };

int main() {
    S s;
    typeof((S){10,10}) s;
    s;
}