Rollup merge of #115044 - RalfJung:smir, r=spastorino

stable_mir: docs clarification
This commit is contained in:
Matthias Krüger 2023-08-21 22:16:01 +02:00 committed by GitHub
commit 5a59e94513
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,6 @@
//! Module that implements the public interface to the Stable MIR.
//!
//! This module shall contain all type definitions and APIs that we expect 3P tools to invoke to
//! This module shall contain all type definitions and APIs that we expect third-party tools to invoke to
//! interact with the compiler.
//!
//! The goal is to eventually move this module to its own crate which shall be published on