{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//!"}]}
//! We can only figure out what our witnesses correspond to by unspecializing back up the stack.
//! Note that when we're deep in the algorithm, we don't know what specialization steps got us here.
//!