======
>>> main.whiley
import other

public export method test():
   assume other::id(123) == 123
>>> other.whiley
method id(int x) -> (int r):
   return x
---
E608 main.whiley 4,10:23