{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// Given some operation `op` that manipulates types, proves
impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
    /// predicates, or otherwise uses the inference context, executes