Function check_no_locks 

pub fn check_no_locks(_: LockToken<'_, L0>)

This function can only be called if no lock is held by the calling thread/task