Right now compile/tests/test_function_module.py:T_function.test_borrow_input only tests that there is no aliasing (either from view_map or destroy_map) when borrow=False.

The feature 'borrow=True' which would allow aliasing of the input, needs to be implemented and tested.