: error: ******************** tasty-autocollect failure ******************** Expected type: [TestTree] Got: TestTree