{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "trace", skip(self))]
    /// True if `a <= b`, but not defined over inference variables.
    fn sub_concrete_regions(&self, a: Region<'tcx>, b: Region<'tcx>) -> bool {