idris-0.11.1: test/totality012/expected
totality012a.idr:9:1: Main.echo2 is possibly not total due to recursive path Main.echo2 --> Main.echo2 totality012b.idr:11:1: Main.echo is possibly not total due to recursive path Main.echo
totality012a.idr:9:1: Main.echo2 is possibly not total due to recursive path Main.echo2 --> Main.echo2 totality012b.idr:11:1: Main.echo is possibly not total due to recursive path Main.echo