Function watched 

pub fn watched<T>(watch: &Watch, f: impl FnOnce() -> T) -> T

Run f with watch active on this thread: every checkpoint inside answers to it. Scopes nest; the inner watch wins until it ends.