usesyntax::Resources;useutil::{Ceiling,Ceilings};pubfnresources(resources: &Resources,ceilings: &Ceilings){forresourceinresources.keys(){ifletSome(ceiling)=ceilings.get(&resource){assert_ne!(*ceiling,Ceiling::Owned,"{} should be local data",resource);}else{panic!("resource {} is unused",resource)}}}