{"ast_node_type":"function","tokens":[{"end":79,"kind":"keyword","start":0,"text":"fn"}]}
    fn sub_region_values(&self, a: VarValue<'tcx>, b: VarValue<'tcx>) -> bool {
    /// True if `a <= b`.
        match (a, b) {