GROOVY-5962: "extensions" should be optional for @TypeChecked