add a-b-a recursion test

Author: nbbeeken

test/types/community/collection/recursive-types.test-d.ts

@@ -228,3 +228,41 @@ recursiveSchemaWithArray.findOne({
     name: 3
   }
 });
+
+// Modeling A -> B -> A recursive type
+type One = {
+  name: string;
+  two: Two;
+};
+
+type Two = {
+  name: string;
+  three: Three;
+};
+
+type Three = {
+  name: string;
+  one: One;
+};
+
+// Depth 11 does not get type assertion
+expectAssignable<Filter<One>>({
+  'two.three.one.two.three.one.two.three.one.two.name': 3
+});
+// Depth 10 and below does
+expectNotAssignable<Filter<One>>({
+  'two.three.one.two.three.one.two.three.one.name': 3
+});
+
+// Depth 11 does not get type assertion
+expectAssignable<UpdateFilter<One>>({
+  $set: {
+    'two.three.one.two.three.one.two.three.one.two.name': 'a'
+  }
+});
+// Depth 10 and below does
+expectNotAssignable<UpdateFilter<One>>({
+  $set: {
+    'two.three.one.two.three.one.two.three.one.name': 3
+  }
+});