{"ast_node_type":"function","tokens":[{"end":28,"kind":"keyword","start":0,"text":"fn"}]}
    fn span(&self) -> Span {
impl<'a, 'tcx> ProofTreeVisitor<'tcx> for NestedObligationsForSelfTy<'a, 'tcx> {
        self.root_cause.span