{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"TestImm[A:"}]}
                TestImm[A: covariant, B: covariant]
            expect![[r#"
                TestMut[A: covariant, B: invariant]