{"ast_node_type":"function","tokens":[{"end":65,"kind":"keyword","start":0,"text":"fn"}]}
    fn bottom_value(&self, _: &mir::Body<'tcx>) -> Self::Domain {
        // bottom = nothing is reserved or activated yet;