error-return-not-all-4.ck:9:16: error: not all control paths in 'fun Foo Foo.make( int c[], int t[] )' return a value
[9]     fun static Foo make( int c[], int t[])
                   ^
