{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// contains only regions that the creator knows about. If this is
    /// Promotion works as follows: we first check that the type `T`
    /// true, then -- as a consequence -- we know that all regions in