Potential unbounded recursion when checking for unsigned types

Consider the following test:

    fn test_no_infinite_recursion_when_walking_types() {
        const UDL: &str = r#"
            namespace test{};
            interface Testing {
                void tester(Testing foo);
            };
        "#;
        let ci = ComponentInterface::from_webidl(UDL).unwrap();
        assert!(! ci.type_contains_unsigned_types(&Type::Object("Testing".into())));
    }

This intereface doesn't contain any unsigned types, so the test should pass. When I run it on latest main I get:

thread 'interface::test::test_no_infinite_recursion_when_walking_types' has overflowed its stack
fatal runtime error: stack overflow

The trouble here is that Type::Object("Testing") contains a reference to itself via one of the method arguments, so when we try to walk all the contained types and look for unsigned types, we end up doing unbounded recursion.

┆Issue is synchronized with this Jira Task ┆Issue Number: UNIFFI-77

mozilla / uniffi-rs

Potential unbounded recursion when checking for unsigned types #1006