: error: ******************** tasty-autocollect failure ******************** Expected type: TestTree Got: Int