{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "debug", skip(self, outlives_env, deeply_normalize_ty))]
    /// right before lexical region resolution.
    pub fn process_registered_region_obligations(