Since emit doesn't hard-code its levels, we could support custom levels in the LeveLFilter-style filters by making them generic over L: FromValue + Ord. We'd still default to L = Level, but that would let users define their own level scheme and use it. We could also make the field we pull the level from configurable too, defaulting to lvl. At this point the level filters are really just a generic ThresholdFilter.
Since
emitdoesn't hard-code its levels, we could support custom levels in theLeveLFilter-style filters by making them generic overL: FromValue + Ord. We'd still default toL = Level, but that would let users define their own level scheme and use it. We could also make the field we pull the level from configurable too, defaulting tolvl. At this point the level filters are really just a genericThresholdFilter.