pub(crate) fn static_info( genv: GlobalEnv<'_, '_>, def_id: MaybeExternId, ) -> QueryResult<StaticInfo>