{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// This rather funky routine is used while processing expected
impl<'tcx> InferCtxt<'tcx> {
    /// types. What happens here is that we want to propagate a