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