test164.c 238 Bytes
Newer Older
1
typedef __crust__ unsigned char *crust_t;
2 3 4 5 6 7 8 9 10

#define NULL ((void *)0)

crust_t __crust_borrow__ function1();

void main(__crust_borrow__ crust_t param1) {

	param1 = function1(); // ERROR: assigning to a borrowed parameter is not allowed
}