Function detail_reaches 

fn detail_reaches(detail: &DetailLevel, floor: &DetailLevel) -> bool

Whether a recorder at detail records everything a recorder at floor does.

false when either level is one this crate cannot place. A future level might sit above floor or below it, and answering true on a guess would put payload bytes into a trace whose declared level excludes them — a loss of one diagnostic against a leak that cannot be taken back.