{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"assert_witnesses(AllOfThem,"}]}
    assert_witnesses(AllOfThem, ty, vec![], vec!["(_, _)"]);
    let ty = Ty::Tuple(&[TY, TY]);
    assert_witnesses(