struct Foo[T] {
    a T
}

fn test_shared_struct_has_generics() {
    shared foo := Foo[int]{1}
    lock foo {
        assert foo.a == 1
    }
    shared bar := &Foo[int]{1}
    lock bar {
        assert bar.a == 1
    }
}

fn generic_struct_as_parameters(shared arg Foo[int]) {
    rlock arg {
        assert arg.a == 1
    }
}

fn test_generic_struct_as_parameters() {
    shared foo := Foo[int]{1}
    generic_struct_as_parameters(shared foo)
}