{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"//"}]}
    // would be UB.
    // approximation of the actual execution, we can also use this state for places where access
    fn bottom_value(&self, _body: &Body<'tcx>) -> Self::Domain {