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