{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"#[derive(Debug)]"}]}
#[derive(Debug)]
/// See the top of the file for more detailed explanations and examples.
struct WitnessStack<Cx: PatCx>(Vec<WitnessPat<Cx>>);