{"ast_node_type":"function","tokens":[{"end":71,"kind":"keyword","start":0,"text":"fn"}]}
    fn record_ty(&self, hir_id: hir::HirId, ty: Ty<'tcx>, span: Span) {
        // FIXME: normalization and escaping regions