{"ast_node_type":"variable","tokens":[{"end":34,"kind":"keyword","start":0,"text":"let"}]}
    let ty = Ty::Tuple(&[TY, TY]);
    // ty = (Option<bool>, Option<bool>)
    assert_witnesses(AllOfThem, ty, vec![], vec!["(_, _)"]);