fn walk_define_opaques<T: MutVisitor>( vis: &mut T, define_opaque: &mut Option<ThinVec<(NodeId, Path)>>, )