{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"\"(A,B,C):"}]}
            "(A,B,C): Sized" => {
        |obligation| match *obligation {
                ProcessResult::Changed(thin_vec!["A: Sized", "B: Sized", "C: Sized"])